projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57b632c) | patch
Make env hold a pointer to the original options to properly initialize subsolvers...
authorGereon Kremer <nafur42@gmail.com>
Tue, 8 Jun 2021 13:43:13 +0000 (15:43 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 13:43:13 +0000 (13:43 +0000)
commit52f02c087ca45a65c1e483faab32ac2078106aa0
tree2034cc1cc8365da5a03422477e259dc6ec6abf8dtree
parent57b632c70aa01c95216fd5f43338cf2d76374b4ecommit | diff
Make env hold a pointer to the original options to properly initialize subsolvers (#6705)

This PR extends the Env class to hold a pointer to the original options that are owned by the api::Solver. These original options will be used to properly initialize subsolvers as using the current options leads to subtle issues as setDefaults is not (in general) idempotent.
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history