From: yoni206 <yoni206@users.noreply.github.com>
Date: Sat, 21 Jul 2018 12:02:01 +0000 (-0700)
Subject: Remove --no-check-proofs and --no-check-unsat-cores from a satisfiable test (#2184)
X-Git-Tag: cvc5-1.0.0~4882
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e51b17ab9dafc9bf382626be135776a4ec55ce46;p=cvc5.git

Remove --no-check-proofs and --no-check-unsat-cores from a satisfiable test (#2184)
---

diff --git a/test/regress/regress1/bv/bv-int-collapse2-sat.smt2 b/test/regress/regress1/bv/bv-int-collapse2-sat.smt2
index 4b97a3de9..3d932a076 100644
--- 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)