projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ef3258) | patch
Remove options::X__numValues (#7419)
authorGereon Kremer <nafur42@gmail.com>
Fri, 29 Oct 2021 19:05:05 +0000 (12:05 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Oct 2021 19:05:05 +0000 (19:05 +0000)
commitc65e2843c54fba0324e5ce39b6e47c34068b4aeb
tree21beb06d78f1bcc824fb0a57ffdafdedec26ad5dtree
parent1ef32585ddcf873805a7163bc266abaf10c7acd8commit | diff
Remove options::X__numValues (#7419)

This PR removes yet another special purpose options detail that is only used in a single place: X__numValues currently holds the number of modes for an option, that is the number of elements of the respective enums. It is solely used to obtain the size of the std::bitset used to store the flags passed to the -o option. However, it can easily be replaced using the last mode.

This PR also improves a bit on options-related documentation.
src/options/README.md diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/options_handler.cpp diff | blob | history