summaryrefslogtreecommitdiff
path: root/test/regress/regress0/push-pop/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/push-pop/Makefile.am')
-rw-r--r--test/regress/regress0/push-pop/Makefile.am3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/regress/regress0/push-pop/Makefile.am b/test/regress/regress0/push-pop/Makefile.am
index aedf03470..f43a4d183 100644
--- a/test/regress/regress0/push-pop/Makefile.am
+++ b/test/regress/regress0/push-pop/Makefile.am
@@ -20,6 +20,9 @@ CVC_TESTS = \
units.cvc \
incremental-subst-bug.cvc
+SMT2_TESTS = \
+ tiny_bug.smt2
+
TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS)
EXTRA_DIST = $(TESTS)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback