Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 ↵ | Morgan Deters | |
success, nonzero error | |||
2012-08-21 | add some incremental in-tree regressions | Morgan Deters | |
2012-06-13 | adding some regressions to the usual regressions runs; several ↵ | Morgan Deters | |
recently-fixed incremental bugs are closed | |||
2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters | |
but a push/pop or multiple query is attempted (previously it could give incorrect answers) Also, fix some multi-query and push-pop tests that had wrong answers, and support a new "% COMMAND-LINE: " gesture in regression tests so that a test can pass additional, specific command line flags it wants to run with (here, --incremental). Also fix mkbuilddir script for when it's called from contrib/switch-config. |