projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcbef9d) | patch
Fix SmtEngine::reset() (#4917)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 19 Aug 2020 13:04:53 +0000 (15:04 +0200)
committerGitHub <noreply@github.com>
Wed, 19 Aug 2020 13:04:53 +0000 (08:04 -0500)
commit533f87dc6cf44a7bcb84694a5c21e5280425be93
tree2a45e18a7cd974d8e15441c59493b03e1f22faeftree
parentbcbef9dfa053a14ac48f176fe4bde9a1aa2b4931commit | diff
Fix SmtEngine::reset() (#4917)

Calling (reset) multiple times produced parsing problems (#4866) and could probably lead to all kinds of interesting issues.
In a nutshell, reset() failed to properly reset d_initialOptions (which is used to properly reset d_options) so that all options defaulted after the second call to reset().
This PR properly sets d_initialOptions after a reset (and the filename as well).

Fixes #4866.
src/smt/smt_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/smtlib/issue4866.smt2 [new file with mode: 0644] blob