diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-18 00:56:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-18 00:56:27 +0000 |
commit | 3511caa8e3918d9b9b48b8137dc2f9b86e5f1004 (patch) | |
tree | 23f9991ebc561c4494f7a45a15ed0a9bf2dab455 /src/main | |
parent | f653df8f015e38bbe2dd39fb3852afa6fe0d89da (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.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/driver.cpp b/src/main/driver.cpp index 5ecfed3a6..742cba8d2 100644 --- a/src/main/driver.cpp +++ b/src/main/driver.cpp @@ -283,7 +283,7 @@ int runCvc4(int argc, char* argv[], Options& options) { // have the replay parser use the file's declarations replayParser->useDeclarationsFrom(parser); } - while((cmd = parser->nextCommand())) { + while((cmd = parser->nextCommand()) && status) { if(dynamic_cast<QuitCommand*>(cmd) != NULL) { delete cmd; break; |