diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
commit | 480d440174c565bec9aba412c0d35221c9169ff6 (patch) | |
tree | 12048b5ba5d9717d6770b5d89de23d9c7048a981 /src/main/driver_unified.cpp | |
parent | cfa9e2cbbdf77a325791b5548b41093a0781311c (diff) |
Some minor changes after reviewing the portfolio "unified driver" commit.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main/driver_unified.cpp')
-rw-r--r-- | src/main/driver_unified.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 061e34223..f91f951c6 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -35,9 +35,9 @@ #include "util/Assert.h" #include "util/configuration.h" #include "options/options.h" -#include "main/command_executer.h" +#include "main/command_executor.h" # ifdef PORTFOLIO_BUILD -# include "main/command_executer_portfolio.h" +# include "main/command_executor_portfolio.h" # endif #include "main/options.h" #include "smt/options.h" @@ -226,11 +226,11 @@ int runCvc4(int argc, char* argv[], Options& opts) { ExprManager exprMgr(threadOpts[0]); # endif - CommandExecuter* cmdExecuter = + CommandExecutor* cmdExecutor = # ifndef PORTFOLIO_BUILD - new CommandExecuter(exprMgr, opts); + new CommandExecutor(exprMgr, opts); # else - new CommandExecuterPortfolio(exprMgr, opts, threadOpts); + new CommandExecutorPortfolio(exprMgr, opts, threadOpts); #endif // Create the SmtEngine @@ -280,7 +280,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { replayParser->useDeclarationsFrom(shell.getParser()); } while((cmd = shell.readCommand())) { - status = cmdExecuter->doCommand(cmd) && status; + status = cmdExecutor->doCommand(cmd) && status; delete cmd; } } else { @@ -304,7 +304,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { delete cmd; break; } - status = cmdExecuter->doCommand(cmd); + status = cmdExecutor->doCommand(cmd); delete cmd; } // Remove the parser @@ -320,7 +320,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { int returnValue; string result = "unknown"; if(status) { - result = cmdExecuter->getSmtEngineStatus(); + result = cmdExecutor->getSmtEngineStatus(); if(result == "sat") { returnValue = 10; |