From 044329296028ad944b703929fad4d85aa6183472 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 9 Feb 2010 23:07:33 +0000
Subject: Changes to the CNF conversion and the SAT solver. All regression pass
 now, and we're ready for nightly testing. We should not add regression tests
 that test future behaviour, as the builds will nag for all failing
 regressions. Thus, I've separated the multi-query regressions into multiple
 regressions until the cnf/context/sat is able to handle it. Also, fixed a
 typo in the CVC parser.

---
 test/regress/regress0/wiki.05.cvc | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 test/regress/regress0/wiki.05.cvc

(limited to 'test/regress/regress0/wiki.05.cvc')

diff --git a/test/regress/regress0/wiki.05.cvc b/test/regress/regress0/wiki.05.cvc
new file mode 100644
index 000000000..afb094dae
--- /dev/null
+++ b/test/regress/regress0/wiki.05.cvc
@@ -0,0 +1,4 @@
+a, b, c : BOOLEAN;
+
+% EXPECT: VALID
+QUERY a OR (a AND b) <=> a;
-- 
cgit v1.2.3