projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dac8b87) | patch
Refactor setDefaults to use an options object (#6994)
authorGereon Kremer <nafur42@gmail.com>
Fri, 13 Aug 2021 00:12:19 +0000 (17:12 -0700)
committerGitHub <noreply@github.com>
Fri, 13 Aug 2021 00:12:19 +0000 (00:12 +0000)
commit06f4747e4f6c97be9b6fca4edd1ffff66e386c06
tree91bf55bc57cd0028dacd093ebe8314ca19346aabtree
parentdac8b872572f0ac9c9e0be93f5058d7b8b9cea91commit | diff
Refactor setDefaults to use an options object (#6994)

This commit refactors the `setDefaults` method to accept an `Options` object as argument instead of using the current (static) `Options` object.
src/smt/options_manager.cpp diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history