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

Fixed issue with empty integrity constraints and extended unit test.

This commit is contained in:
Patrick Lühne 2016-11-24 17:38:44 +01:00
parent 25a55a6457
commit 6167a83a99
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/anthem/StatementVisitor.h
View File

@ -62,7 +62,7 @@ struct StatementVisitor
{ {
const auto &bodyLiteral = *i; const auto &bodyLiteral = *i;
if (!context.headTerms.empty()) if (!context.headTerms.empty() || i != rule.body.cbegin())
outputStream << " " << Clingo::AST::BinaryOperator::And << " "; outputStream << " " << Clingo::AST::BinaryOperator::And << " ";
if (bodyLiteral.sign != Clingo::AST::Sign::None) if (bodyLiteral.sign != Clingo::AST::Sign::None)

4
tests/TestTranslation.cpp
View File

@ -92,10 +92,10 @@ TEST_CASE("[translation] Rules are translated correctly", "[translation]")
SECTION("integrity constraint") SECTION("integrity constraint")
{ {
input << ":- p(42)."; input << ":- p(42), q.";
anthem::translate("input", input, context); anthem::translate("input", input, context);
REQUIRE(output.str() == "exists X1 (X1 in 42 and p(X1)) -> #false\n"); REQUIRE(output.str() == "exists X1 (X1 in 42 and p(X1)) and q -> #false\n");
} }
SECTION("inf/sup") SECTION("inf/sup")