projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f653df8) | patch
Fixing bug 360. The driver wasn't exiting when there was an error (it just plowed...
authorMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 00:56:27 +0000 (00:56 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 00:56:27 +0000 (00:56 +0000)
commit3511caa8e3918d9b9b48b8137dc2f9b86e5f1004
tree23f9991ebc561c4494f7a45a15ed0a9bf2dab455tree
parentf653df8f015e38bbe2dd39fb3852afa6fe0d89dacommit | diff
Fixing bug 360.  The driver wasn't exiting when there was an error (it just plowed ahead to the next command).  Now the driver exits on the first error, unless it's in interactive mode.
src/main/driver.cpp diff | blob | history