From b272a918882dfc2e1106f2bb551c04907d88cff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 5 Jun 2017 03:40:41 +0200
Subject: [PATCH] Extended unit test for circular dependencies and #show.

---
 tests/TestHiddenPredicateElimination.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/TestHiddenPredicateElimination.cpp b/tests/TestHiddenPredicateElimination.cpp
index 3fd2b70..62419e2 100644
--- a/tests/TestHiddenPredicateElimination.cpp
+++ b/tests/TestHiddenPredicateElimination.cpp
@@ -99,12 +99,14 @@ TEST_CASE("[hidden predicate elimination] Hidden predicates are correctly elimin
 			"b(X) :- not c(X).\n"
 			"c(X) :- d(X).\n"
 			"d(X) :- not b(X).\n"
+			"{e(X)}.\n"
 			"#show a/1.";
 		anthem::translate("input", input, context);
 
 		CHECK(output.str() ==
 			"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")