diff options
Diffstat (limited to 'test/regress/regress0/uflia/Makefile.am')
-rw-r--r-- | test/regress/regress0/uflia/Makefile.am | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/test/regress/regress0/uflia/Makefile.am b/test/regress/regress0/uflia/Makefile.am index db67df18e..e40a28608 100644 --- a/test/regress/regress0/uflia/Makefile.am +++ b/test/regress/regress0/uflia/Makefile.am @@ -27,7 +27,6 @@ SMT_TESTS = \ xs-09-16-3-4-1-5.delta04.smt \ error1.smt \ error0.delta01.smt \ - simple_cyclic2.smt2 \ error30.smt # Regression tests for SMT2 inputs @@ -36,17 +35,8 @@ SMT2_TESTS = \ check02.smt2 \ check03.smt2 \ check04.smt2 \ - DRAGON_11_e1_2450.ec.minimized.smt2 \ - FIREFLY_3_e2_2236_e7_3681.ec.core.smt2 \ - FIREFLY_luke_1b_e2_3049_e7_1173.ec.minimized.smt2 \ stalmark_e7_27_e7_31.ec.minimized.smt2 \ - stalmark_e7_27_e7_31.ec.smt2 \ - tiny.smt2 \ - speed2_e8_449_e8_517.ec.smt2 \ - microwave21.ec.minimized.smt2 -# simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2 -# javafe.ast.StandardPrettyPrint.319_no_forall.smt2 -# javafe.ast.WhileStmt.447_no_forall.smt2 + tiny.smt2 # Regression tests for PL inputs CVC_TESTS = @@ -62,11 +52,7 @@ EXTRA_DIST = $(TESTS) \ check02.smt2.expect \ check03.smt2.expect \ check04.smt2.expect \ - DRAGON_11_e1_2450.ec.minimized.smt2.expect \ - FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect \ - speed2_e8_449_e8_517.ec.smt2.expect \ stalmark_e7_27_e7_31.ec.minimized.smt2.expect \ - stalmark_e7_27_e7_31.ec.smt2.expect \ tiny.smt2.expect # synonyms for "check" in this directory |