projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e7c0620)
test also with default cores (#6858)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 9 Jul 2021 19:25:44 +0000 (16:25 -0300)
committerGitHub <noreply@github.com>
Fri, 9 Jul 2021 19:25:44 +0000 (19:25 +0000)
Have unsat cores regression tested also with default mode.

test/regress/regress0/cores/issue4971-1.smt2 patch | blob | history

diff --git a/test/regress/regress0/cores/issue4971-1.smt2 b/test/regress/regress0/cores/issue4971-1.smt2
index 9bb4f3e844c8a0fc15998e51d08af3270b870cf0..2ac70735c025d09686efabbbdd39b5e267616784 100644 (file)
--- 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