From c13dbe25d6541ad2f30fcd96b16bf70e8aecb6bc Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Mon, 26 Feb 2024 12:25:51 -0300 Subject: [PATCH] more --- test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 b/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 index 7424bf960aa..97fc802e10d 100644 --- a/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 +++ b/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 @@ -1,6 +1,8 @@ ; COMMAND-LINE: --full-saturate-quant -i ; EXPECT: unsat ; DISABLE-TESTER: unsat-core +;; Carcara does not yet support alpha-equivalence checking for forall_inst +; DISABLE-TESTER: alethe (set-logic ALL) (set-option :pre-skolem-quant on) (declare-fun v7 () Bool)