Make use of options in setDefaults more consistent (#4729)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Jul 2020 20:10:51 +0000 (15:10 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 20:10:51 +0000 (15:10 -0500)
commita932b4478e397d760d9457be7c6a80f9ba724391
treea2f8f3ff748ac3264208518c9ccd3e64b9114703
parent14d32d598e9daa97cf1a29ff893caac2989baec4
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.
src/options/arith_options.toml
src/options/bv_options.toml
src/options/smt_options.toml
src/smt/set_defaults.cpp
src/smt/set_defaults.h
src/smt/smt_engine.cpp