diff options
Diffstat (limited to 'src/main/command_executor.cpp')
-rw-r--r-- | src/main/command_executor.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index a343b4a37..551880b98 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -50,9 +50,7 @@ void printStatsIncremental(std::ostream& out, const std::string& prvsStatsString CommandExecutor::CommandExecutor(Options& options) : d_solver(new api::Solver(&options)), d_symman(new SymbolManager(d_solver.get())), - d_smtEngine(d_solver->getSmtEngine()), d_options(options), - d_stats(), d_result() { } @@ -66,15 +64,13 @@ CommandExecutor::~CommandExecutor() void CommandExecutor::flushStatistics(std::ostream& out) const { // SmtEngine + node manager flush statistics is part of the call below - d_smtEngine->flushStatistics(out); - d_stats.flushInformation(out); + getSmtEngine()->flushStatistics(out); } void CommandExecutor::safeFlushStatistics(int fd) const { // SmtEngine + node manager flush statistics is part of the call below - d_smtEngine->safeFlushStatistics(fd); - d_stats.safeFlushInformation(fd); + getSmtEngine()->safeFlushStatistics(fd); } bool CommandExecutor::doCommand(Command* cmd) |