diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-02 17:42:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-03 00:42:00 +0000 |
commit | 3f233b1978e10dcb553662f27ec8a4f250c89071 (patch) | |
tree | 01296ed32944b3054737862e289ea284cc4238d7 /src/theory/theory_state.h | |
parent | 973482b6da11d37a8aee96b98758f091f02008e5 (diff) |
Remove "experimental" options (#7124)
This PR changes all options from experimental to expert and adds a check that only the well-defined option categories are used (common, regular, expert, undocumented).
Diffstat (limited to 'src/theory/theory_state.h')
0 files changed, 0 insertions, 0 deletions