diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 13:12:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 15:12:19 -0500 |
commit | 044891b406eb3ee143403ad8fecd7acb99d17ecb (patch) | |
tree | f90d35b378da21c2fe889149eb974709292af609 /src/main | |
parent | 29639a7df6ddf105803431cc85888c9416af6af6 (diff) |
Remove option --continued-execution. (#3189)
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/command_executor.cpp | 10 | ||||
-rw-r--r-- | src/main/driver_unified.cpp | 6 |
2 files changed, 10 insertions, 6 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 7e46b163b..241ca2b8f 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -89,9 +89,10 @@ bool CommandExecutor::doCommand(Command* cmd) // assume no error bool status = true; - for(CommandSequence::iterator subcmd = seq->begin(); - (status || d_options.getContinuedExecution()) && subcmd != seq->end(); - ++subcmd) { + for (CommandSequence::iterator subcmd = seq->begin(); + status && subcmd != seq->end(); + ++subcmd) + { status = doCommand(*subcmd); } @@ -183,7 +184,8 @@ bool CommandExecutor::doCommandSingleton(Command* cmd) } for (const auto& getterCommand : getterCommands) { status = doCommandSingleton(getterCommand.get()); - if (!status && !d_options.getContinuedExecution()) { + if (!status) + { break; } } diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 7af8a6fdb..d0fce8d00 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -362,7 +362,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { int needReset = 0; // true if one of the commands was interrupted bool interrupted = false; - while (status || opts.getContinuedExecution()) { + while (status) + { if (interrupted) { (*opts.getOut()) << CommandInterrupted(); break; @@ -515,7 +516,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { replayParser->useDeclarationsFrom(parser.get()); } bool interrupted = false; - while(status || opts.getContinuedExecution()) { + while (status) + { if (interrupted) { (*opts.getOut()) << CommandInterrupted(); pExecutor->reset(); |