From d9dee9c17e4f6437e957ed7528251c9a0c933b16 Mon Sep 17 00:00:00 2001 From: SimonRohou Date: Tue, 16 Mar 2021 19:15:30 +0100 Subject: [PATCH] [slice] corrected bug in eval function --- src/core/domains/slice/codac_Slice.cpp | 2 +- tests/core/tests_ctc_delay.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/core/domains/slice/codac_Slice.cpp b/src/core/domains/slice/codac_Slice.cpp index 5c1f0a58..af475514 100644 --- 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 index ee3dcb1f..c4eaad6b 100644 --- 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);