projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a8c3f6) | patch
make default and modes strings instead of enum values (#7656)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 17 Nov 2021 01:45:32 +0000 (17:45 -0800)
committerGitHub <noreply@github.com>
Wed, 17 Nov 2021 01:45:32 +0000 (01:45 +0000)
commit4c9df988d43b237c22bd3b667f7e5c35cf0a737a
treec43fb78e134b9e2f2c956e3c0e0bc9410838c83dtree
parent9a8c3f60a3ff556acbd3453f367b8b86ab892362commit | diff
make default and modes strings instead of enum values (#7656)

For mode options, getOptionInfo would hold the name of the enum values for the default value and the available modes. This PR changes this to hold the string values instead, which is what users can actually use via the API.
src/options/mkoptions.py diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history