projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a796c4d) | patch
No longer call solver constructor with an options object. (#6985)
authorGereon Kremer <nafur42@gmail.com>
Thu, 5 Aug 2021 00:29:11 +0000 (17:29 -0700)
committerGitHub <noreply@github.com>
Thu, 5 Aug 2021 00:29:11 +0000 (00:29 +0000)
commit183808b608071890b4d8a05d51233fe37a133873
tree0d6863aac009de12e3b0055a40cec15244be6455tree
parenta796c4d8461f22aa523edd3031290e0ba03edd60commit | diff
No longer call solver constructor with an options object. (#6985)

This PR removes calls to the Solver constructor with an Options object, and instead uses the setOption() method.
test/api/smt2_compliance.cpp diff | blob | history
test/unit/parser/parser_black.cpp diff | blob | history