From 41f1a9a0036f3d18ec21ef6005fb218cf704fe60 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 19 Aug 2020 07:08:22 -0700 Subject: [Regressions] Do not test `--check-proofs` anymore (#4914) In preparation of removing the old proof module, this commit changes the regression runner to not add the flag --check-proofs anymore when running the regressions. --- test/regress/regress0/arith/ite-lift.smt2 | 1 - 1 file changed, 1 deletion(-) (limited to 'test/regress/regress0/arith') diff --git a/test/regress/regress0/arith/ite-lift.smt2 b/test/regress/regress0/arith/ite-lift.smt2 index bd2df3def..62fd4a745 100644 --- a/test/regress/regress0/arith/ite-lift.smt2 +++ b/test/regress/regress0/arith/ite-lift.smt2 @@ -1,4 +1,3 @@ -; COMMAND-LINE: --check-proofs (set-option :incremental false) (set-info :status unsat) (set-info :category "crafted") -- cgit v1.2.3