projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2b4fa75)
Remove --no-check-proofs and --no-check-unsat-cores from a satisfiable test (#2184)
authoryoni206 <yoni206@users.noreply.github.com>
Sat, 21 Jul 2018 12:02:01 +0000 (05:02 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 21 Jul 2018 12:02:01 +0000 (07:02 -0500)
test/regress/regress1/bv/bv-int-collapse2-sat.smt2 patch | blob | history

diff --git a/test/regress/regress1/bv/bv-int-collapse2-sat.smt2 b/test/regress/regress1/bv/bv-int-collapse2-sat.smt2
index 4b97a3de9d6e2bc0c23a7a03557d3eecacb43efe..3d932a0767fe9790212696656443cfe9d45a52c1 100644 (file)
--- a/test/regress/regress1/bv/bv-int-collapse2-sat.smt2
+++ b/test/regress/regress1/bv/bv-int-collapse2-sat.smt2
@@ -1,4 +1,4 @@
-; COMMAND-LINE: --rewrite-divk --no-check-proofs --no-check-unsat-cores
+; COMMAND-LINE: --rewrite-divk
 ; EXPECT: sat
 (set-logic ALL_SUPPORTED)
 (set-info :status sat)