projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b334cf0) | patch
Refactor command-line help (#7157)
authorGereon Kremer <nafur42@gmail.com>
Fri, 10 Sep 2021 01:18:56 +0000 (03:18 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Sep 2021 01:18:56 +0000 (01:18 +0000)
commit1db584888d88b575f8929ffa0bed31e2c62b5e2d
tree69558abf969a84f85c80e69a8e610e47a7f0cefdtree
parentb334cf09f05b11150f5e1e7a915346e0d753841dcommit | diff
Refactor command-line help (#7157)

This PR refactors how we generate the command-line help message.
src/main/options_template.cpp diff | blob | history
src/options/mkoptions.py diff | blob | history