diff options
Diffstat (limited to 'test/regress/regress0/uflia/diseqprop.01.smt')
| -rw-r--r-- | test/regress/regress0/uflia/diseqprop.01.smt | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/regress/regress0/uflia/diseqprop.01.smt b/test/regress/regress0/uflia/diseqprop.01.smt deleted file mode 100644 index 93544639e..000000000 --- a/test/regress/regress0/uflia/diseqprop.01.smt +++ /dev/null @@ -1,19 +0,0 @@ -(benchmark test -:logic QF_UFLIA -:extrafuns ((f Int Int)) -:extrafuns ((x1 Int)) -:extrafuns ((y1 Int)) -:extrafuns ((x2 Int)) -:extrafuns ((y2 Int)) - -:extrafuns ((a Int)) -:extrafuns ((b Int)) - -:assumption (not (= x2 y2)) -:assumption (= x1 x2) -:assumption (= y1 y2) - -:assumption (= (f x1) (f y1)) - -:formula true -) |