diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-25 15:16:41 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-25 15:16:41 +0000 |
| commit | 89bcd4deee07a2c61d30a9dfca64e58e8c2d701b (patch) | |
| tree | d60e9264731c73a88a3947a06dea6ff294ff0f80 /test/regress/regress0/push-pop/Makefile.am | |
| parent | 86df00c36c6cbabac53001082219c3fc8c0fa297 (diff) | |
some buggy examples for incrementality, and make bug326 run as part of make regress, because the bug was fixed.
Also make QuantifiersModule's destructor virtual (it has virtual members).
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'test/regress/regress0/push-pop/Makefile.am')
| -rw-r--r-- | test/regress/regress0/push-pop/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/regress/regress0/push-pop/Makefile.am b/test/regress/regress0/push-pop/Makefile.am index 1f2b5c4c7..0af49ee1a 100644 --- a/test/regress/regress0/push-pop/Makefile.am +++ b/test/regress/regress0/push-pop/Makefile.am @@ -29,13 +29,15 @@ SMT2_TESTS = \ BUG_TESTS = \ bug216.smt2 \ - bug233.cvc + bug233.cvc \ + bug326.smt2 TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) EXTRA_DIST = $(TESTS) \ bug216.smt2.expect \ - bug326.smt2 + bug394.smt2 \ + bug396.smt2 # synonyms for "check" in this directory .PHONY: regress regress0 test |