diff options
Diffstat (limited to 'test/regress/regress0/cvc3.userdoc.04.cvc')
-rw-r--r-- | test/regress/regress0/cvc3.userdoc.04.cvc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/regress/regress0/cvc3.userdoc.04.cvc b/test/regress/regress0/cvc3.userdoc.04.cvc deleted file mode 100644 index da8b1e82c..000000000 --- a/test/regress/regress0/cvc3.userdoc.04.cvc +++ /dev/null @@ -1,9 +0,0 @@ -x, y, z, t, q : BITVECTOR(1024); - -ASSERT x = ~x; -ASSERT x&y&t&z&q = x; -ASSERT x|y = t; -ASSERT BVXOR(x,~x) = t; - -% EXPECT: entailed -QUERY FALSE; |