projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 58985be)
Disable unsat-cores/proofs for slow regression (#1835)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 30 Apr 2018 17:52:11 +0000 (10:52 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Apr 2018 17:52:11 +0000 (10:52 -0700)
test/regress/regress1/nl/nl_uf_lalt.smt2 patch | blob | history

diff --git a/test/regress/regress1/nl/nl_uf_lalt.smt2 b/test/regress/regress1/nl/nl_uf_lalt.smt2
index 5e8987d5b05ec46446e32157ce3acdceb44a5e29..8d73ff9eb647262a0c16eab93d72dca015816463 100644 (file)
--- a/test/regress/regress1/nl/nl_uf_lalt.smt2
+++ b/test/regress/regress1/nl/nl_uf_lalt.smt2
@@ -1,3 +1,4 @@
+; COMMAND-LINE: --no-check-proofs --no-check-unsat-cores
 (set-logic QF_UFNIA)
 (set-info :status unsat)
 (declare-fun c (Int) Int)