projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d3126c) | patch
More refactoring of set defaults (#7160)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 10 Sep 2021 02:47:57 +0000 (21:47 -0500)
committerGitHub <noreply@github.com>
Fri, 10 Sep 2021 02:47:57 +0000 (02:47 +0000)
commit5369982ff5c493f72e6f8309d8be632866314805
treeae47168fba0916516c3b9dbc0548cab6006648e9tree
parent5d3126cf3b3edb0dac89dac7566332f29f80fa06commit | diff
More refactoring of set defaults (#7160)

This moves a large portion of the `finalizeLogic` method to more appropriate places.

It also fixes an issue : `opts.datatypes.dtSharedSelectorsWasSetByUser` was checked with wrong polarity, making a previous commit not effective.
src/smt/set_defaults.cpp diff | blob | history
src/smt/set_defaults.h diff | blob | history