patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Added test case for incorrectly simplified rules with comparison.

Browse Source
This commit is contained in:
Patrick Lühne 2017-03-28 17:10:38 +02:00
parent 58a0a9d074
commit c8cd6fec48
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/TestSimplification.cpp
View File

@ -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"); 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");
}
} }