diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-10 03:18:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-10 01:18:56 +0000 |
commit | 1db584888d88b575f8929ffa0bed31e2c62b5e2d (patch) | |
tree | 69558abf969a84f85c80e69a8e610e47a7f0cefd /src/main | |
parent | b334cf09f05b11150f5e1e7a915346e0d753841d (diff) |
Refactor command-line help (#7157)
This PR refactors how we generate the command-line help message.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/options_template.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/options_template.cpp b/src/main/options_template.cpp index 87a5fc158..dfd93843e 100644 --- a/src/main/options_template.cpp +++ b/src/main/options_template.cpp @@ -48,13 +48,14 @@ namespace cvc5::main { // clang-format off static const std::string commonOptionsDescription = - "Most commonly-used cvc5 options:\n" +R"FOOBAR(Most commonly-used cvc5 options: ${help_common}$ - ; +)FOOBAR"; static const std::string additionalOptionsDescription = - "Additional cvc5 options:\n" -${help_others}$; +R"FOOBAR(Additional cvc5 options: +${help_others}$ +)FOOBAR"; static const std::string optionsFootnote = "\n\ [*] Each of these options has a --no-OPTIONNAME variant, which reverses the\n\ |