diff options
Diffstat (limited to 'test/regress/regress0/bv/bench_38.delta.smt2')
| -rw-r--r-- | test/regress/regress0/bv/bench_38.delta.smt2 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/regress/regress0/bv/bench_38.delta.smt2 b/test/regress/regress0/bv/bench_38.delta.smt2 deleted file mode 100644 index 760614348..000000000 --- a/test/regress/regress0/bv/bench_38.delta.smt2 +++ /dev/null @@ -1,7 +0,0 @@ -; COMMAND-LINE: --fewer-preprocessing-holes --check-proof --quiet -; EXPECT: unsat -(set-logic QF_BV) -(declare-fun x () (_ BitVec 4)) -(assert (and (= (bvudiv (_ bv2 4) x) (_ bv2 4)) (= (_ bv0 4) x) (= (_ bv1 4) x))) -(check-sat) -(exit) |