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

Added unit test for intervals.

Browse Source
This commit is contained in:
Patrick Lühne 2016-11-24 16:53:04 +01:00
parent 712530150f
commit cff5ed8cec
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/TestTranslation.cpp
View File

@ -121,6 +121,14 @@ TEST_CASE("[translation] Rules are translated correctly", "[translation]")
REQUIRE(output.str() == "V1 in X and V2 in (1,) and exists X1, X2 (X1 in X and X2 in (2,) and q(X1, X2)) -> p(V1, V2)\n"); REQUIRE(output.str() == "V1 in X and V2 in (1,) and exists X1, X2 (X1 in X and X2 in (2,) and q(X1, X2)) -> p(V1, V2)\n");
} }
SECTION("intervals")
{
input << "p(X, 1..10) :- q(X, 6..12).";
anthem::translate("input", input, context);
REQUIRE(output.str() == "V1 in X and V2 in (1..10) and exists X1, X2 (X1 in X and X2 in (6..12) and q(X1, X2)) -> p(V1, V2)\n");
}
SECTION("single negation") SECTION("single negation")
{ {
input << "not p(X, 1) :- not q(X, 2)."; input << "not p(X, 1) :- not q(X, 2).";