projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c67523) | patch
Minor cleanup in SolverEngine::setInfo() (#7566)
authorGereon Kremer <nafur42@gmail.com>
Thu, 4 Nov 2021 15:31:31 +0000 (08:31 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Nov 2021 15:31:31 +0000 (15:31 +0000)
commitd8e3996674dd518555bfc432bc0414c66475e538
tree7e009dd910a27ae41ed5f049d8247b43e1d99f38tree
parent8c6752343ee49bed7abb03401c9411345b2dfe04commit | diff
Minor cleanup in SolverEngine::setInfo() (#7566)

This does a bit of cleanup by properly calling the option handler instead of trying to manually replicating it. This is way more robust in the face of modifications to the option handlers.
src/smt/solver_engine.cpp diff | blob | history