disable cpc tester on new regression

HanielB · Sep 28, 2024 · 28d54f1 · 28d54f1
1 parent 1cfb80d
commit 28d54f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2 b/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2
@@ -1,4 +1,5 @@
 ; EXPECT: unsat
+; DISABLE-TESTER: cpc
 (set-logic AUFLIA)
 (declare-sort A$ 0)
 (declare-sort B$ 0)