diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 83f3cb5e0..d4b7eecbf 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -2101,10 +2101,13 @@ void SmtEngine::reset() if(Dump.isOn("benchmark")) { Dump("benchmark") << ResetCommand(); } + std::string filename = d_state->getFilename(); Options opts; opts.copyValues(d_originalOptions); this->~SmtEngine(); new (this) SmtEngine(em, &opts); + // Restore data set after creation + notifyStartParsing(filename); } void SmtEngine::resetAssertions() |