diff options
Diffstat (limited to 'test/regress/regress0/quantifiers/ari118-bv-2occ-x.smt2')
-rw-r--r-- | test/regress/regress0/quantifiers/ari118-bv-2occ-x.smt2 | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/regress/regress0/quantifiers/ari118-bv-2occ-x.smt2 b/test/regress/regress0/quantifiers/ari118-bv-2occ-x.smt2 deleted file mode 100644 index 2d70dfb8e..000000000 --- a/test/regress/regress0/quantifiers/ari118-bv-2occ-x.smt2 +++ /dev/null @@ -1,8 +0,0 @@ -; COMMAND-LINE: --cbqi-bv -; EXPECT: unsat -(set-logic BV) -(set-info :status unsat) -; two occurrences of x -(assert (not (exists ((?X (_ BitVec 32)) (?Y (_ BitVec 32))) (= (bvmul ?X ?Y) ?X)))) -(check-sat) -(exit) |