[ex] corrected compile error in 08_tube_paving

CHANGELOG

@@ -37,6 +37,35 @@ Codac releases
 
 
 
+-----------------------------------------------------------------
+
+Codac release 0.1.13 (released `Apr 11, 2022 <https://github.com/codac-team/codac/releases/tag/v0.1.13>`_)
+==========================================================================================================
+
+`Commits since previous release 0.1.12 <https://github.com/codac-team/codac/compare/v0.1.12...v0.1.13>`_
+
+Features added
+--------------
+
+Changes
+-------
+
+Dependencies
+------------
+
+Bugs fixed
+----------
+
+Deprecated
+----------
+
+Documentation
+-------------
+
+Python binding
+--------------
+
+
 -----------------------------------------------------------------
 
 Codac release 0.1.12 (released `Feb 21, 2022 <https://github.com/codac-team/codac/releases/tag/v0.1.12>`_)

examples/basics/08_tube_paving/main.cpp

@@ -64,7 +64,7 @@ int main()
 
   clock_t t_start = clock();
   TemporalPaving paving(IntervalVector({{-1,7},{-2,2}}));
-  x.enable_synthesis(true);
+  x.enable_synthesis(SynthesisMode::BINARY_TREE);
   paving.compute(dt*2.,x);
   printf("Paving computation time: %.2fs\n", (double)(clock() - t_start)/CLOCKS_PER_SEC);
 

tests/core/tests_cn.cpp

@@ -587,44 +587,44 @@ TEST_CASE("CN simple")
   {
     Interval x(0.,0.), y(4.,6.), d(4.);
     Interval d_(d);
-
+    
     CtcFunction ctc_sqr(Function("x", "y", "sqr(x)-y"));
     CtcFunction ctc_sqrt(Function("x", "y", "sqrt(x)-y"));
     CtcFunction ctc_plus(Function("x", "y", "z", "x+y-z"));
-
+    
     ContractorNetwork cn;
-
+    
     Interval& a = cn.create_interm_var(Interval(-55.,55.));
     cn.set_name(a, "a");
     Interval& b = cn.create_interm_var(Interval());
     Interval& c = cn.create_interm_var(Interval());
-
+    
     cn.set_name(b, "b");
     cn.set_name(c, "c");
-
+    
     cn.add(ctc_sqrt, {c, d});
     cn.add(ctc_plus, {a, b, c});
     cn.add(ctc_sqr, {x, a});
     cn.add(ctc_sqr, {y, b});
-
+    
     cn.set_name(a, "a");
     cn.set_name(b, "b");
     cn.set_name(c, "c");
     cn.set_name(d, "d");
     cn.set_name(x, "x");
     cn.set_name(y, "y");
-
+    
     CHECK(cn.nb_dom() == 6);
-
+    
     cn.contract();
-
+    
     CHECK(x == Interval(0.));
     CHECK(y == Interval(4.));
     CHECK(d == d_);
     CHECK(a == Interval(0.));
     CHECK(b == Interval(16.));
     CHECK(c == Interval(16.));
-
+    
     CHECK(cn.nb_ctc_in_stack() == 0);
     CHECK(cn.nb_dom() == 6);
     CHECK(cn.nb_ctc() == 4);
@@ -637,7 +637,7 @@ TEST_CASE("CN simple")
     CHECK(a == Interval(-55.,55.));
     CHECK(b == Interval());
     CHECK(c == Interval());
-
+    
     cn.contract();
     CHECK(x == Interval(0.));
     CHECK(y == Interval(4.));