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