From 4fa28a57ea9a2db7b035bc21d4bccd344701c72f Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Thu, 11 Feb 2010 17:10:36 +0000
Subject: Adding precedence regressions

---
 test/regress/regress0/precedence/not-and.cvc | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/regress/regress0/precedence/not-and.cvc

(limited to 'test/regress/regress0/precedence/not-and.cvc')

diff --git a/test/regress/regress0/precedence/not-and.cvc b/test/regress/regress0/precedence/not-and.cvc
new file mode 100644
index 000000000..44c27af53
--- /dev/null
+++ b/test/regress/regress0/precedence/not-and.cvc
@@ -0,0 +1,6 @@
+% EXPECT: VALID
+% Simple test for right precedence of AND and NOT.
+
+A, B, C: BOOLEAN;
+
+QUERY (NOT A AND B) <=> ((NOT A) AND B);
-- 
cgit v1.2.3