From cff5ed8cec87d090821e060ce77a730191654f5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 16:53:04 +0100 Subject: [PATCH] Added unit test for intervals. --- tests/TestTranslation.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tests/TestTranslation.cpp b/tests/TestTranslation.cpp index a9cd42f..5c0bf22 100644 --- a/tests/TestTranslation.cpp +++ b/tests/TestTranslation.cpp @@ -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"); } + 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") { input << "not p(X, 1) :- not q(X, 2).";