diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-07-02 15:13:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-02 22:13:17 +0000 |
commit | de0401e53e4baab30a5e78d5bd51048348b1e1ce (patch) | |
tree | 0f1697a82a4c839b5fd7a365ce3c5777c741c70f /src/expr/record.cpp | |
parent | f83a753ad62a005085c47a7c0f4ba2e406d9acd7 (diff) |
Fix bv assert input reset assertions (#6820)
If reset-assertions was called it will now reset the SAT solver and the
CNF stream if clauses were permanently added to the SAT solver via
option --bv-assert-input.
Diffstat (limited to 'src/expr/record.cpp')
0 files changed, 0 insertions, 0 deletions