From a6f629584c25faf34dbb9bc1c044aa0db57713ef Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Fri, 9 Jul 2021 16:25:44 -0300 Subject: [PATCH] test also with default cores (#6858) Have unsat cores regression tested also with default mode. --- test/regress/regress0/cores/issue4971-1.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/regress0/cores/issue4971-1.smt2 b/test/regress/regress0/cores/issue4971-1.smt2 index 9bb4f3e84..2ac70735c 100644 --- a/test/regress/regress0/cores/issue4971-1.smt2 +++ b/test/regress/regress0/cores/issue4971-1.smt2 @@ -1,3 +1,4 @@ +; COMMAND-LINE: --incremental -q --check-unsat-cores ; COMMAND-LINE: --incremental -q --check-unsat-cores --unsat-cores-mode=sat-proof ; EXPECT: sat ; EXPECT: sat -- 2.30.2