summaryrefslogtreecommitdiff
path: root/test/regress/regress0/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/Makefile.am')
-rw-r--r--test/regress/regress0/Makefile.am9
1 files changed, 4 insertions, 5 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 792754a48..7f18fc12a 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -94,7 +94,11 @@ BUG_TESTS = \
bug168.smt \
bug187.smt2 \
bug220.smt2 \
+ bug233.cvc \
bug239.smt \
+ bug288.smt \
+ bug288b.smt \
+ bug288c.smt \
buggy-ite.smt2 \
bug303.smt2 \
bug310.cvc \
@@ -103,11 +107,6 @@ BUG_TESTS = \
TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
EXTRA_DIST = $(TESTS) \
- bug216.smt2 \
- bug216.smt2.expect \
- bug288b.smt \
- bug288c.smt \
- bug288.smt \
simplification_bug4.smt2.expect
if CVC4_BUILD_PROFILE_COMPETITION
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback