From e51b17ab9dafc9bf382626be135776a4ec55ce46 Mon Sep 17 00:00:00 2001 From: yoni206 Date: Sat, 21 Jul 2018 05:02:01 -0700 Subject: [PATCH] Remove --no-check-proofs and --no-check-unsat-cores from a satisfiable test (#2184) --- test/regress/regress1/bv/bv-int-collapse2-sat.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2