Disable lfsc tester on t3_rw903 (cvc5#11464)

This fixes a timeout in the nightlies.
ajreynol · Dec 19, 2024 · b76c2b5 · b76c2b5
1 parent da255fd
commit b76c2b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress0/proofs/t3_rw903.smt2 b/test/regress/cli/regress0/proofs/t3_rw903.smt2
@@ -1,5 +1,6 @@
 ; EXPECT: unsat
 ; DISABLE-TESTER: unsat-core
+; DISABLE-TESTER: lfsc
 (set-logic UFNIA)
 (declare-fun pow2 (Int) Int)
 (declare-fun intor (Int Int Int) Int)