more disabling

HanielB · Feb 25, 2024 · 0de41a8 · 0de41a8
1 parent 40f15cf
commit 0de41a8
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/test/regress/cli/regress1/proofs/base-lfsc-treesize.smt2 b/test/regress/cli/regress1/proofs/base-lfsc-treesize.smt2
@@ -1,4 +1,6 @@
 ; EXPECT: unsat
+;; slow conversion
+; DISABLE-TESTER: alethe
 (set-logic QF_UFLIRA)
 (declare-sort FArray 2)
 

diff --git a/test/regress/cli/regress1/quantifiers/qcft-smtlib3dbc51.smt2 b/test/regress/cli/regress1/quantifiers/qcft-smtlib3dbc51.smt2
@@ -1,5 +1,7 @@
 ; COMMAND-LINE: --cbqi-tconstraint --ieval=off
 ; EXPECT: unsat
+;; slow conversion
+; DISABLE-TESTER: alethe
 (set-logic AUFLIRA)
 (set-info :source |http://proval.lri.fr/why-benchmarks |)
 (set-info :smt-lib-version 2.6)

diff --git a/test/regress/cli/regress1/quantifiers/smtlibe99bbe.smt2 b/test/regress/cli/regress1/quantifiers/smtlibe99bbe.smt2
@@ -1,5 +1,7 @@
 ; COMMAND-LINE: --relevant-triggers
 ; EXPECT: unsat
+;; slow conversion
+; DISABLE-TESTER: alethe
 (set-logic AUFLIRA)
 (set-info :status unsat)
 (declare-sort Unit 0)