diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-09 21:47:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-10 02:47:57 +0000 |
| commit | 5369982ff5c493f72e6f8309d8be632866314805 (patch) | |
| tree | ae47168fba0916516c3b9dbc0548cab6006648e9 /src/include/cvc5parser_public.h | |
| parent | 5d3126cf3b3edb0dac89dac7566332f29f80fa06 (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.
Diffstat (limited to 'src/include/cvc5parser_public.h')
0 files changed, 0 insertions, 0 deletions