projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a11de76) | patch
Initial refactoring of set defaults (#7021)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 17 Aug 2021 01:57:40 +0000 (20:57 -0500)
committerGitHub <noreply@github.com>
Tue, 17 Aug 2021 01:57:40 +0000 (01:57 +0000)
commit1d81aaef0d3a3f6a9cadc57d0e667506138af003
tree0fc585cbb7f04262803390f7ff0e88d060c6da91tree
parenta11de769885cf9ac4b2c2f06409976080b326fe6commit | diff
Initial refactoring of set defaults (#7021)

This commit starts to carve out better control flow structure in setDefaults.

It makes setDefaults contained in a class, and moves a few blocks of code to their own functions.

This class also makes options manager obsolete, it is deleted in this PR.

There should be no behavior change in this PR.
src/CMakeLists.txt diff | blob | history
src/smt/options_manager.cpp [deleted file] blob | history
src/smt/options_manager.h [deleted file] blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history