diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 20:16:35 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-15 21:08:22 -0400 |
commit | 1a9736b35db944f73a95bf98d800ebae8e435a92 (patch) | |
tree | e9e86667a476c73bc0fe16e200cc00dac8940a22 /src/main | |
parent | 22c89dae0078a89b2c95d07c98e7ae29b5586ebd (diff) |
Careful there aren't too many "success" messages with --tear-down-incremental (can confuse trace runner).
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver_unified.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 4c33088d4..9215c6073 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -338,6 +338,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { if(dynamic_cast<PushCommand*>(cmd) != NULL) { if(needReset) { pExecutor->reset(); + bool succ = opts[options::printSuccess]; + opts.set(options::printSuccess, false); for(size_t i = 0; i < allCommands.size(); ++i) { for(size_t j = 0; j < allCommands[i].size(); ++j) { Command* cmd = allCommands[i][j]->clone(); @@ -345,12 +347,15 @@ int runCvc4(int argc, char* argv[], Options& opts) { delete cmd; } } + opts.set(options::printSuccess, succ); needReset = false; } allCommands.push_back(vector<Command*>()); } else if(dynamic_cast<PopCommand*>(cmd) != NULL) { allCommands.pop_back(); // fixme leaks cmds here pExecutor->reset(); + bool succ = opts[options::printSuccess]; + opts.set(options::printSuccess, false); for(size_t i = 0; i < allCommands.size(); ++i) { for(size_t j = 0; j < allCommands[i].size(); ++j) { Command* cmd = allCommands[i][j]->clone(); @@ -358,10 +363,13 @@ int runCvc4(int argc, char* argv[], Options& opts) { delete cmd; } } + opts.set(options::printSuccess, succ); } else if(dynamic_cast<CheckSatCommand*>(cmd) != NULL || dynamic_cast<QueryCommand*>(cmd) != NULL) { if(needReset) { pExecutor->reset(); + bool succ = opts[options::printSuccess]; + opts.set(options::printSuccess, false); for(size_t i = 0; i < allCommands.size(); ++i) { for(size_t j = 0; j < allCommands[i].size(); ++j) { Command* cmd = allCommands[i][j]->clone(); @@ -369,6 +377,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { delete cmd; } } + opts.set(options::printSuccess, succ); } status = pExecutor->doCommand(cmd); needReset = true; |