From 28d54f1f6ebd8d3eedb87d80fc218832cffbcf29 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Sat, 28 Sep 2024 12:05:35 -0300 Subject: [PATCH] disable cpc tester on new regression --- .../cli/regress0/proofs/alpha-equiv-reusing-variable.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2 b/test/regress/cli/regress0/proofs/alpha-equiv-reusing-variable.smt2 index f225c10b0bf..21854fdfcdf 100644 --- 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)