projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d55bad9)
Fix options for regression: --sort-inference is incompatible with unsat cores. (...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 10 Mar 2020 23:40:29 +0000 (18:40 -0500)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 23:40:29 +0000 (16:40 -0700)
test/regress/regress1/issue3990-sort-inference.smt2 patch | blob | history

diff --git a/test/regress/regress1/issue3990-sort-inference.smt2 b/test/regress/regress1/issue3990-sort-inference.smt2
index f048718a80cc1271cda214384a898d12858fcaeb..5d036a84f228eca72b4edb32018dd65d568b0bd3 100644 (file)
--- a/test/regress/regress1/issue3990-sort-inference.smt2
+++ b/test/regress/regress1/issue3990-sort-inference.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --sort-inference --no-check-unsat-cores
+; EXPECT: unsat
 (set-logic ABV)
 (set-option :sort-inference true)
 (set-info :status unsat)