From 55037e0bcef45c795f28ff3fcf6c1055af465c70 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 15 Feb 2018 15:31:48 -0600 Subject: Refactor regressions (#1581) --- test/regress/regress0/decision/Makefile.am | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'test/regress/regress0/decision/Makefile.am') 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 -- cgit v1.2.3