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/options/base_options.toml | |
| 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/options/base_options.toml')
0 files changed, 0 insertions, 0 deletions