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/get-value-reals.smt2 | 1 - 1 file changed, 1 deletion(-) (limited to 'test/regress/regress0/get-value-reals.smt2') diff --git a/test/regress/regress0/get-value-reals.smt2 b/test/regress/regress0/get-value-reals.smt2 index 6fa542668..09ec0917f 100644 --- a/test/regress/regress0/get-value-reals.smt2 +++ b/test/regress/regress0/get-value-reals.smt2 @@ -1,4 +1,3 @@ -; COMMAND-LINE: ; EXPECT: sat ; EXPECT: ((pos_int (/ 3 1)) (pos_rat (/ 1 3)) (zero (/ 0 1)) (neg_rat (/ (- 2) 3)) (neg_int (/ (- 2) 1))) (set-info :smt-lib-version 2.0) -- cgit v1.2.3