projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b871cc) | patch
* Include a few bug testcases for resolved bugs.
authorMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 05:27:33 +0000 (05:27 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 6 Oct 2012 05:27:33 +0000 (05:27 +0000)
commit8116fa6b55db64301ed89f1f174b95780449007f
treef75566f83d9bbefd9fd5cb2b34feab7d7a3faa84tree
parent9b871cceb0f9c3372504f9f7b786a7c1dd7cd700commit | 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.)
src/smt/smt_engine.cpp diff | blob | history
src/util/configuration.cpp diff | blob | history
src/util/configuration.h diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug274.cvc [new file with mode: 0644] blob
test/regress/regress0/bug296.smt2 [new file with mode: 0644] blob