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

Fixed typos in unit test case.

Browse Source
This commit is contained in:
Patrick Lühne 2017-04-08 20:02:20 +02:00
parent 2ae5cfbfa6
commit 2ef3ef24a1
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/TestCompletion.cpp
View File

@ -52,11 +52,11 @@ TEST_CASE("[completion] Rules are completed", "[completion]")
{ {
input << ":- q.\n" input << ":- q.\n"
":- s(5).\n" ":- s(5).\n"
"#false :- t\n" "#false :- t.\n"
"#false :- v(5)."; "#false :- v(5).";
REQUIRE_NOTHROW(anthem::translate("input", input, context)); REQUIRE_NOTHROW(anthem::translate("input", input, context));
CHECK(output.str() == "not q\nnot s(5)\nnot t\nnot v(5)"); CHECK(output.str() == "not q\nnot s(5)\nnot t\nnot v(5)\n");
} }
SECTION("facts") SECTION("facts")