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