diff options
Diffstat (limited to 'test/regress/regress0/decision/Makefile.am')
| -rw-r--r-- | test/regress/regress0/decision/Makefile.am | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am index ccf86e8b4..b70ee1575 100644 --- a/test/regress/regress0/decision/Makefile.am +++ b/test/regress/regress0/decision/Makefile.am @@ -23,7 +23,6 @@ TESTS = \ bitvec0.smt \ bitvec0.delta01.smt \ bitvec5.smt \ - quant-Arrays_Q1-noinfer.smt2 \ quant-ex1.smt2 \ uflia-xs-09-16-3-4-1-5.delta03.smt \ aufbv-fuzz01.smt \ @@ -46,17 +45,14 @@ EXTRA_DIST = $(TESTS) \ uflia-xs-09-16-3-4-1-5.delta03.smt.expect \ bitvec0.smt.expect \ bitvec5.smt.expect \ - quant-Arrays_Q1-noinfer.smt2.expect \ wchains010ue.delta02.smt.expect \ bug347.smt.expect \ bug374a.smt.expect \ bug374b.smt2.expect \ - quant-ex1.disable_miniscope.smt2.expect \ wchains010ue.smt.expect \ just_sat.expect \ quant-ex1.smt2.expect \ - just_unsat.expect \ - quant-symmetric_unsat_7.smt2.expect + just_unsat.expect #if CVC4_BUILD_PROFILE_COMPETITION #else |