diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
| commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
| tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /src/options/options_template.cpp | |
| parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) | |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'src/options/options_template.cpp')
| -rw-r--r-- | src/options/options_template.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 47f07db9c..b9b80aa7e 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -264,13 +264,13 @@ options::OptionsHolder::OptionsHolder() : static const std::string mostCommonOptionsDescription = "\ -Most commonly-used CVC4 options:\n" +Most commonly-used cvc5 options:\n" ${help_common}$; static const std::string optionsDescription = mostCommonOptionsDescription + "\n\ \n\ -Additional CVC4 options:\n" +Additional cvc5 options:\n" ${help_others}$; @@ -283,7 +283,7 @@ static const std::string languageDescription = "\ Languages currently supported as arguments to the -L / --lang option:\n\ auto attempt to automatically determine language\n\ - cvc4 | presentation | pl CVC4 presentation language\n\ + cvc4 | presentation | pl cvc5 presentation language\n\ smt | smtlib | smt2 |\n\ smt2.6 | smtlib2.6 SMT-LIB format 2.6 with support for the strings standard\n\ tptp TPTP format (cnf, fof and tff)\n\ @@ -291,7 +291,7 @@ Languages currently supported as arguments to the -L / --lang option:\n\ \n\ Languages currently supported as arguments to the --output-lang option:\n\ auto match output language to input language\n\ - cvc4 | presentation | pl CVC4 presentation language\n\ + cvc4 | presentation | pl cvc5 presentation language\n\ cvc3 CVC3 presentation language\n\ smt | smtlib | smt2 |\n\ smt2.6 | smtlib2.6 SMT-LIB format 2.6 with support for the strings standard\n\ |