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

Extended unit test for circular dependencies and #show.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-05 03:40:41 +02:00
parent b91e55dfc4
commit b272a91888
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/TestHiddenPredicateElimination.cpp
View File

@ -99,12 +99,14 @@ TEST_CASE("[hidden predicate elimination] Hidden predicates are correctly elimin
"b(X) :- not c(X).\n" "b(X) :- not c(X).\n"
"c(X) :- d(X).\n" "c(X) :- d(X).\n"
"d(X) :- not b(X).\n" "d(X) :- not b(X).\n"
"{e(X)}.\n"
"#show a/1."; "#show a/1.";
anthem::translate("input", input, context); anthem::translate("input", input, context);
CHECK(output.str() == CHECK(output.str() ==
"forall V1 (a(V1) <-> not d(V1))\n" "forall V1 (a(V1) <-> not d(V1))\n"
"forall V2 (d(V2) <-> not not d(V2))\n"); "forall V2 (d(V2) <-> not not d(V2))\n"
"forall V3 (e(V3) <-> e(V3))\n");
} }
SECTION("simple Booleans are recognized") SECTION("simple Booleans are recognized")