From 2d15cd4ccad12e7f99ce15b2da6271c9ce68f586 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 4 Jun 2022 19:09:53 -0500
Subject: [PATCH] Disable LFSC for regression with learned rewrite (#8855)

Fixes buildbot issues.
---
 test/regress/cli/regress1/nl/issue4791-llr.smt2 | 2 ++
 1 file changed, 2 insertions(+)

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
 ;               =>
-- 
2.30.2