diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-14 15:10:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-14 15:10:51 -0500 |
commit | a932b4478e397d760d9457be7c6a80f9ba724391 (patch) | |
tree | a2f8f3ff748ac3264208518c9ccd3e64b9114703 /NEWS | |
parent | 14d32d598e9daa97cf1a29ff893caac2989baec4 (diff) |
Make use of options in setDefaults more consistent (#4729)
The plan is to make setDefaults (the method to update the default options based on our internal heuristics) modify an explicit copy of options.
This is the first step, which eliminates the dependence of this method on SmtEngine.
This PR is furthermore required to eliminate options listeners.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions