diff options
Diffstat (limited to 'test/regress/regress0/auflia/error72.delta2.smt')
-rw-r--r-- | test/regress/regress0/auflia/error72.delta2.smt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/regress/regress0/auflia/error72.delta2.smt b/test/regress/regress0/auflia/error72.delta2.smt deleted file mode 100644 index e843e0b41..000000000 --- a/test/regress/regress0/auflia/error72.delta2.smt +++ /dev/null @@ -1,12 +0,0 @@ -(benchmark fuzzsmt -:logic QF_AUFLIA -:extrafuns ((v1 Int)) -:status sat -:formula -(let (?n1 0) -(flet ($n2 (distinct v1 ?n1)) -(let (?n3 (ite $n2 v1 ?n1)) -(let (?n4 (~ ?n3)) -(flet ($n5 (>= ?n4 ?n1)) -$n5 -)))))) |