From 4b08e741e5d0d162170425c304b8222dac4715ce Mon Sep 17 00:00:00 2001
From: Valentin Mayer-Eichberger <vale1410@gmail.com>
Date: Tue, 15 Jun 2021 00:57:52 +0200
Subject: [PATCH] added additional test

---
 test-expected/dimacs.bul | 26 ++++++++++++++++++++++++++
 test-input/dimacs.bul    | 10 ++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 test-expected/dimacs.bul
 create mode 100644 test-input/dimacs.bul

diff --git a/test-expected/dimacs.bul b/test-expected/dimacs.bul
new file mode 100644
index 0000000..faeea33
--- /dev/null
+++ b/test-expected/dimacs.bul
@@ -0,0 +1,26 @@
+
+all[a].
+all[b].
+all[c].
+all[d].
+all[e].
+dom[a].
+dom[b].
+dom[c].
+mom[d].
+mom[e].
+q(a,a,c) | q(a,a,b).
+q(a,b,c) | q(b,a,b).
+q(a,c,c) | q(c,a,b).
+q(a,d,a) | q(a,d,b) | q(a,d,c).
+q(a,e,a) | q(a,e,b) | q(a,e,c).
+q(b,a,c) | q(a,b,b).
+q(b,b,c) | q(b,b,b).
+q(b,c,c) | q(c,b,b).
+q(b,d,a) | q(b,d,b) | q(b,d,c).
+q(b,e,a) | q(b,e,b) | q(b,e,c).
+q(c,a,c) | q(a,c,b).
+q(c,b,c) | q(b,c,b).
+q(c,c,c) | q(c,c,b).
+q(c,d,a) | q(c,d,b) | q(c,d,c).
+q(c,e,a) | q(c,e,b) | q(c,e,c).
diff --git a/test-input/dimacs.bul b/test-input/dimacs.bul
new file mode 100644
index 0000000..039eddd
--- /dev/null
+++ b/test-input/dimacs.bul
@@ -0,0 +1,10 @@
+dom[a].
+dom[b].
+dom[c]. 
+mom[d].
+mom[e].
+dom[X] :: all[X].
+mom[X] :: all[X].
+#exists [0], all[X], all[Y], dom[Z] :: q(X,Y,Z)?
+dom[X], mom[Y] :: dom[Z] : q(X,Y,Z).
+dom[X], dom[Y] :: q(X,Y,c) | q(Y,X,b).