diff options
Diffstat (limited to 'test/regress/regress0/uflia/diseqprop.06.smt')
| -rw-r--r-- | test/regress/regress0/uflia/diseqprop.06.smt | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/regress/regress0/uflia/diseqprop.06.smt b/test/regress/regress0/uflia/diseqprop.06.smt deleted file mode 100644 index b27a5a73c..000000000 --- a/test/regress/regress0/uflia/diseqprop.06.smt +++ /dev/null @@ -1,21 +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 (= x1 x2) -:assumption (= y1 y2) - -:assumption (= x2 1) -:assumption (= y2 2) - -:assumption (= (f x1) (f y1)) - -:formula true -) |