projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e1e48a) | patch
Remove static access to options in decision folder (#7527)
authorGereon Kremer <nafur42@gmail.com>
Fri, 29 Oct 2021 00:28:29 +0000 (17:28 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Oct 2021 00:28:29 +0000 (17:28 -0700)
commit70b7384838d1e9c99bdbd26d40feab3463eb0ebd
tree2f86a6aeb40a26d14247cb0ca6026a5e4ff7ad37tree
parent9e1e48ad560408667f6972979c6123ebc7b615d2commit | diff
Remove static access to options in decision folder (#7527)

This PR replaces static accesses to options (options::foo()) by using the options object provided via the environment.
src/decision/decision_engine_old.cpp diff | blob | history
src/decision/justification_heuristic.cpp diff | blob | history
src/decision/justification_heuristic.h diff | blob | history
src/decision/justification_strategy.cpp diff | blob | history