From c8cd6fec481b367b315ff32595c037b4bc963d35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 28 Mar 2017 17:10:38 +0200 Subject: [PATCH] Added test case for incorrectly simplified rules with comparison. --- tests/TestSimplification.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tests/TestSimplification.cpp b/tests/TestSimplification.cpp index 4456fc0..b584fe6 100644 --- a/tests/TestSimplification.cpp +++ b/tests/TestSimplification.cpp @@ -41,4 +41,12 @@ TEST_CASE("[simplification] Rules are simplified correctly", "[simplified]") REQUIRE(output.str() == "((not covered(I) and I in 1..n) -> #false)\n"); } + + SECTION("comparisons") + { + input << ":- M > N."; + anthem::translate("input", input, context); + + REQUIRE(output.str() == "(M > N -> #false)\n"); + } }