From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 18 Jun 2012 00:56:27 +0000 (+0000)
Subject: Fixing bug 360.  The driver wasn't exiting when there was an error (it just plowed... 
X-Git-Tag: cvc5-1.0.0~7980
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3511caa8e3918d9b9b48b8137dc2f9b86e5f1004;p=cvc5.git

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.
---

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;