[ctc] corrected bug in CtcEval (invert in vector case), thanks Julien!

codac-team · Aug 24, 2021 · b4c5a2c · b4c5a2c
1 parent 5cf9223
commit b4c5a2c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/src/core/contractors/dyn/codac_CtcEval.cpp b/src/core/contractors/dyn/codac_CtcEval.cpp
@@ -161,7 +161,7 @@ namespace codac
     w &= Interval(-BOUNDED_INFINITY,BOUNDED_INFINITY); // todo: remove this
 
     t &= y.tdomain();
-    t &= y.invert(z, w ,t);
+    t &= y.invert(z, w, t);
 
     if(!t.is_empty())
     {
@@ -268,7 +268,7 @@ namespace codac
 
         // 4. Evaluation contraction
 
-          t &= y.invert(z, w ,t);
+          t &= y.invert(z, w, t);
           if(!t.is_empty())
             z &= y.interpol(t, w);
 
@@ -395,7 +395,7 @@ namespace codac
 
     Interval t_result = Interval::EMPTY_SET;
 
-    t &= y.invert(z);
+    t &= y.invert(z, t);
     z &= y(t);
 
     for(int i = 0 ; i < y.size() ; i++)
@@ -438,7 +438,7 @@ namespace codac
       return;
     }
 
-    t &= y.invert(z);
+    t &= y.invert(z, t);
     z &= y(t);
   }
 
@@ -456,7 +456,7 @@ namespace codac
       return;
     }
 
-    t &= y.invert(z);
+    t &= y.invert(z, t);
     z &= y(t);
   }
 }
diff --git a/tests/core/tests_ctc_chain.cpp b/tests/core/tests_ctc_chain.cpp
@@ -16,7 +16,7 @@ using namespace std;
 using namespace ibex;
 using namespace codac;
 
-#define VIBES_DRAWING 1
+#define VIBES_DRAWING 0
 
 TEST_CASE("CtcChain")
 {