diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-04 19:58:15 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-27 16:07:32 -0400 |
commit | 7aa87517562e993e530a1da323b724d8e30e9fbe (patch) | |
tree | 2011435d502eb86bcc19855be95f080bc8427ef5 /src/main/command_executor_portfolio.cpp | |
parent | d6ea515d7d670abac44d07357b460c57b7d86842 (diff) |
New --tear-down-incremental mode, useful for debugging and performance profiling.
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
-rw-r--r-- | src/main/command_executor_portfolio.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index 61447afe2..9de3b2134 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -63,7 +63,7 @@ CommandExecutorPortfolio::CommandExecutorPortfolio } // Create the SmtEngine(s) - d_smts.push_back(&d_smtEngine); + d_smts.push_back(d_smtEngine); for(unsigned i = 1; i < d_numThreads; ++i) { d_smts.push_back(new SmtEngine(d_exprMgrs[i])); } |