diff options
Diffstat (limited to 'test/regress/regress0/uflra/simple.03.cvc')
| -rw-r--r-- | test/regress/regress0/uflra/simple.03.cvc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/regress/regress0/uflra/simple.03.cvc b/test/regress/regress0/uflra/simple.03.cvc deleted file mode 100644 index 2ecf9b0a8..000000000 --- a/test/regress/regress0/uflra/simple.03.cvc +++ /dev/null @@ -1,11 +0,0 @@ -% EXPECT: sat -x1, y1, z1: REAL; -x2, y2, z2: REAL; -f: REAL -> REAL; -g: (REAL, REAL) -> REAL; - -ASSERT (z1 = f(x1)); -ASSERT (z2 = f(y1)); -ASSERT NOT (g(z1, z2) = g(z2, y2)); - -CHECKSAT;
\ No newline at end of file |