projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f44197f)
Disable LFSC for regression with learned rewrite (#8855)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 5 Jun 2022 00:09:53 +0000 (19:09 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Jun 2022 00:09:53 +0000 (00:09 +0000)
Fixes buildbot issues.

test/regress/cli/regress1/nl/issue4791-llr.smt2 patch | blob | history

diff --git a/test/regress/cli/regress1/nl/issue4791-llr.smt2 b/test/regress/cli/regress1/nl/issue4791-llr.smt2
index 3216cb89777089f888a7e8bad264e0f9c5e8ca9f..f11c925f820d466c947ff7ca8e64bfbe90e730bb 100644 (file)
--- a/test/regress/cli/regress1/nl/issue4791-llr.smt2
+++ b/test/regress/cli/regress1/nl/issue4791-llr.smt2
@@ -2,6 +2,8 @@
 ; EXPECT: unsat
 ; DISABLE-TESTER: unsat-core
 ; DISABLE-TESTER: proof
+; DISABLE-TESTER: lfsc
+
 ;
 ;!(a,b,c).( 0<=b & 1<=c & 0<=a & 1<=c
 ;               =>