diff options
Diffstat (limited to 'test/regress/regress0/cvc3-bug15.cvc')
| -rw-r--r-- | test/regress/regress0/cvc3-bug15.cvc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/regress/regress0/cvc3-bug15.cvc b/test/regress/regress0/cvc3-bug15.cvc deleted file mode 100644 index 779a2eab4..000000000 --- a/test/regress/regress0/cvc3-bug15.cvc +++ /dev/null @@ -1,9 +0,0 @@ -%% This test borrowed from CVC3 regressions, bug15.cvc -% EXPECT: entailed -x : REAL; -y : REAL; -f : REAL -> REAL; -ASSERT ((x > y) => f(x) > f (y)); -ASSERT (x = 3); -ASSERT (y = 2); -QUERY(f(x) > f (y)); |