projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7ff2544)
Disable sygus-inst for regression close to time limit. (#7122)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 2 Sep 2021 19:55:08 +0000 (12:55 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 19:55:08 +0000 (19:55 +0000)
test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 patch | blob | history

diff --git a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2
index 62babf518a54cc7f467bf64320c9bc46b035afd9..1fa004ef49f64cb6d1b1b4f4d2b1d9e1313e571e 100644 (file)
--- a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2
+++ b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2
@@ -1,3 +1,4 @@
+; COMMAND-LINE: --no-sygus-inst
 (set-info :smt-lib-version 2.6)
 (set-logic NIA)
 (set-info :status unsat)