reenabling

HanielB · Feb 26, 2024 · bef410c · bef410c
1 parent c13dbe2
commit bef410c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/test/regress/cli/regress0/preprocess/issue10148.smt2 b/test/regress/cli/regress0/preprocess/issue10148.smt2
@@ -1,9 +1,6 @@
 ; EXPECT: unsat
-;; Carcara does not yet support the unicode representation of characters.
-; DISABLE-TESTER: alethe
 (set-logic ALL)
 (declare-const x Int)
 (declare-fun v () String)
 (assert (and (> 0 x) (distinct 0 (ite (= "\n" (str.at v 0)) 1 0))))
-        (and (> 0 x) (distinct 0 (ite (= "\u{5c}n" (str.at v 0)) 1 0)))
 (check-sat)
diff --git a/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2 b/test/regress/cli/regress0/quantifiers/issue5693-prenex.smt2
@@ -1,8 +1,6 @@
 ; 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)