Disable unsat-core tester on t3_rw903 (cvc5#11458)

This fixes a timeout in the nightlies.
ajreynol · Dec 18, 2024 · 6c1b9d2 · 6c1b9d2
1 parent 13c3d2c
commit 6c1b9d2
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,4 +1,5 @@
 ; EXPECT: unsat
+; DISABLE-TESTER: unsat-core
 (set-logic UFNIA)
 (declare-fun pow2 (Int) Int)
 (declare-fun intor (Int Int Int) Int)