diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 05:27:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 05:27:33 +0000 |
commit | 8116fa6b55db64301ed89f1f174b95780449007f (patch) | |
tree | f75566f83d9bbefd9fd5cb2b34feab7d7a3faa84 /test/regress/regress0/Makefile.am | |
parent | 9b871cceb0f9c3372504f9f7b786a7c1dd7cd700 (diff) |
* Include a few bug testcases for resolved bugs.
* Fix error message if you POP beyond the bottom user stack frame.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'test/regress/regress0/Makefile.am')
-rw-r--r-- | test/regress/regress0/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index ed12c447e..8b2f05ca7 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -117,9 +117,11 @@ BUG_TESTS = \ bug216.smt2 \ bug220.smt2 \ bug239.smt \ + bug274.cvc \ bug288.smt \ bug288b.smt \ bug288c.smt \ + bug296.smt2 \ buggy-ite.smt2 \ bug303.smt2 \ bug310.cvc \ |