projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9670dd4) | patch
Move option names out of struct (#6554)
authorGereon Kremer <nafur42@gmail.com>
Fri, 21 May 2021 03:22:40 +0000 (05:22 +0200)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 03:22:40 +0000 (03:22 +0000)
commit4268c75087e2bb68dbb2257d99e062a8cc897f8c
tree8764a3c95406701a7fd64867305f9f24ca9e789dtree
parent9670dd43576cd21de82e22e76c57e783aa143d21commit | diff
Move option names out of struct (#6554)

This PR moves the option names out of the option struct (which will be removed) to free constexpr string constants.
src/options/mkoptions.py diff | blob | history
src/options/module_template.h diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/smt/options_manager.cpp diff | blob | history