[slice] corrected bug in eval function

codac-team · Mar 16, 2021 · d9dee9c · d9dee9c
1 parent 98da275
commit d9dee9c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/core/domains/slice/codac_Slice.cpp b/src/core/domains/slice/codac_Slice.cpp
@@ -195,7 +195,7 @@ namespace codac
         p_eval.second |= output_gate().ub();
       }
 
-      if(t.is_subset(tdomain()))
+      if(t.is_subset(tdomain()) && t != m_tdomain.lb() && t != m_tdomain.ub())
       {
         p_eval.first |= m_codomain.lb();
         p_eval.second |= m_codomain.ub();

diff --git a/tests/core/tests_ctc_delay.cpp b/tests/core/tests_ctc_delay.cpp
@@ -24,7 +24,7 @@ TEST_CASE("CtcDelay")
     Interval pi = Interval::pi();
     ctc_delay.contract(pi, x, y);
 
-    if(false)
+    if(VIBES_DRAWING)
     {
       vibes::beginDrawing();
       VIBesFigTube fig_x("delay x", &x);
@@ -51,7 +51,7 @@ TEST_CASE("CtcDelay")
     ctc_delay.contract(delay, x, y);
     ctc_delay.contract(delay, x, y);
 
-    if(true)
+    if(VIBES_DRAWING)
     {
       vibes::beginDrawing();
       VIBesFigTube fig_x("delay x", &x);