diff options
Diffstat (limited to 'test/regress/regress0/bug161.smt')
| -rw-r--r-- | test/regress/regress0/bug161.smt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/regress/regress0/bug161.smt b/test/regress/regress0/bug161.smt new file mode 100644 index 000000000..be9b7c486 --- /dev/null +++ b/test/regress/regress0/bug161.smt @@ -0,0 +1,12 @@ +(benchmark uart +:logic QF_LRA +:extrafuns ((x_1 Real)) +:status unsat +:formula +(let (?n1 10) +(flet ($n2 (= x_1 ?n1)) +(let (?n3 1) +(flet ($n4 (< x_1 ?n3)) +(flet ($n5 (and $n2 $n4)) +$n5 +)))))) |