diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-16 20:57:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-17 01:57:40 +0000 |
commit | 1d81aaef0d3a3f6a9cadc57d0e667506138af003 (patch) | |
tree | 0fc585cbb7f04262803390f7ff0e88d060c6da91 /src/CMakeLists.txt | |
parent | a11de769885cf9ac4b2c2f06409976080b326fe6 (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.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 698c38cae..bc7103f0d 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -311,8 +311,6 @@ libcvc5_add_sources( smt/node_command.h smt/optimization_solver.cpp smt/optimization_solver.h - smt/options_manager.cpp - smt/options_manager.h smt/output_manager.cpp smt/output_manager.h smt/quant_elim_solver.cpp |