From: Gereon Kremer Date: Mon, 24 Jan 2022 22:54:18 +0000 (-0800) Subject: Disable regression if poly is not available (#7981) X-Git-Tag: cvc5-1.0.0~512 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=449dd7e18f8be5b6c0246cff4664394e3c17df23;p=cvc5.git Disable regression if poly is not available (#7981) This regression fails if poly is not available. --- diff --git a/test/regress/regress0/proofs/proj-issue430-coverings-double-negation.smt2 b/test/regress/regress0/proofs/proj-issue430-coverings-double-negation.smt2 index 2fe632e3a..cffdbc047 100644 --- a/test/regress/regress0/proofs/proj-issue430-coverings-double-negation.smt2 +++ b/test/regress/regress0/proofs/proj-issue430-coverings-double-negation.smt2 @@ -1,3 +1,4 @@ +; REQUIRES: poly ; COMMAND-LINE: --check-proofs ; EXPECT: unsat ; EXPECT: unsat