more

HanielB · Feb 26, 2024 · c13dbe2 · c13dbe2
1 parent 01ca065
commit c13dbe2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)