Disable lfsc on proof output regression (#9036)

Fixes failures in nightlies.
cvc5 · Aug 8, 2022 · cc80711 · cc80711
1 parent 837d3c8
commit cc80711
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress0/proofs/proof-components.smt2 b/test/regress/cli/regress0/proofs/proof-components.smt2
@@ -1,6 +1,7 @@
 ; SCRUBBER: grep -v -E '(\(|\)|\:proves)'
 ; COMMAND-LINE: --simplification=none
 ; EXPECT: unsat
+; DISABLE-TESTER: lfsc
 (set-logic QF_UFLIA)
 (set-info :smt-lib-version 2.0)
 (set-info :category "crafted")