From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 5 Jun 2022 00:09:53 +0000 (-0500)
Subject: Disable LFSC for regression with learned rewrite (#8855)
X-Git-Tag: cvc5-1.0.1~69
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2d15cd4ccad12e7f99ce15b2da6271c9ce68f586;p=cvc5.git

Disable LFSC for regression with learned rewrite (#8855)

Fixes buildbot issues.
---

diff --git a/test/regress/cli/regress1/nl/issue4791-llr.smt2 b/test/regress/cli/regress1/nl/issue4791-llr.smt2
index 3216cb897..f11c925f8 100644
--- 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
 ;               =>