summaryrefslogtreecommitdiff
path: root/test/regress
diff options
context:
space:
mode:
authorGereon Kremer <nafur42@gmail.com>2021-06-08 15:43:13 +0200
committerGitHub <noreply@github.com>2021-06-08 13:43:13 +0000
commit52f02c087ca45a65c1e483faab32ac2078106aa0 (patch)
tree2034cc1cc8365da5a03422477e259dc6ec6abf8d /test/regress
parent57b632c70aa01c95216fd5f43338cf2d76374b4e (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.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback