diff options
Diffstat (limited to 'test/regress/regress0/uflra/neq-deltacomp.smt')
| -rw-r--r-- | test/regress/regress0/uflra/neq-deltacomp.smt | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/test/regress/regress0/uflra/neq-deltacomp.smt b/test/regress/regress0/uflra/neq-deltacomp.smt deleted file mode 100644 index 9185a18c8..000000000 --- a/test/regress/regress0/uflra/neq-deltacomp.smt +++ /dev/null @@ -1,14 +0,0 @@ -(benchmark fuzzsmt -:logic QF_UFLRA -:extrafuns ((v2 Real)) -:extrafuns ((v1 Real)) -:extrafuns ((v0 Real)) -:status sat -:formula -(let (?n1 (~ v1)) -(flet ($n2 (>= ?n1 v0)) -(let (?n3 1) -(let (?n4 (ite $n2 v1 ?n3)) -(flet ($n5 (<= ?n4 v2)) -$n5 -)))))) |