From 449dd7e18f8be5b6c0246cff4664394e3c17df23 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 24 Jan 2022 14:54:18 -0800 Subject: [PATCH] Disable regression if poly is not available (#7981) This regression fails if poly is not available. --- .../regress0/proofs/proj-issue430-coverings-double-negation.smt2 | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2