diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 16:59:45 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 20:33:54 -0400 |
commit | f370dbd93ba38f4619a0d63abb8a01e2a8482861 (patch) | |
tree | fbbe5bd9a1d022b6b59ccad7c40d259b66af1500 /src/options/options_template.cpp | |
parent | 59e1eadaa3c26bdd3f52c6347dd3cfe5ce9051b5 (diff) |
Some fixes for (get-info :all-options)
Diffstat (limited to 'src/options/options_template.cpp')
-rw-r--r-- | src/options/options_template.cpp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 04d8adaa0..8af61b79f 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -49,7 +49,7 @@ ${include_all_option_headers} -#line 53 "${template}" +#line 57 "${template}" #include "util/output.h" #include "options/options_holder.h" @@ -58,7 +58,7 @@ ${include_all_option_headers} ${option_handler_includes} -#line 62 "${template}" +#line 66 "${template}" using namespace CVC4; using namespace CVC4::options; @@ -195,7 +195,7 @@ void runBoolPredicates(T, std::string option, bool b, SmtEngine* smt) { ${all_custom_handlers} -#line 199 "${template}" +#line 203 "${template}" #ifdef CVC4_DEBUG # define USE_EARLY_TYPE_CHECKING_BY_DEFAULT true @@ -225,18 +225,18 @@ options::OptionsHolder::OptionsHolder() : ${all_modules_defaults} { } -#line 229 "${template}" +#line 233 "${template}" static const std::string mostCommonOptionsDescription = "\ Most commonly-used CVC4 options:${common_documentation}"; -#line 234 "${template}" +#line 238 "${template}" static const std::string optionsDescription = mostCommonOptionsDescription + "\n\ \n\ Additional CVC4 options:${remaining_documentation}"; -#line 240 "${template}" +#line 244 "${template}" static const std::string optionsFootnote = "\n\ [*] Each of these options has a --no-OPTIONNAME variant, which reverses the\n\ @@ -307,7 +307,7 @@ static struct option cmdlineOptions[] = {${all_modules_long_options} { NULL, no_argument, NULL, '\0' } };/* cmdlineOptions */ -#line 311 "${template}" +#line 315 "${template}" static void preemptGetopt(int& argc, char**& argv, const char* opt) { const size_t maxoptlen = 128; @@ -500,7 +500,7 @@ std::vector<std::string> Options::parseOptions(int argc, char* main_argv[]) thro switch(c) { ${all_modules_option_handlers} -#line 492 "${template}" +#line 508 "${template}" case ':': // This can be a long or short option, and the way to get at the @@ -572,7 +572,7 @@ std::vector<std::string> Options::suggestCommandLineOptions(const std::string& o static const char* smtOptions[] = { ${all_modules_smt_options}, -#line 547 "${template}" +#line 590 "${template}" NULL };/* smtOptions[] */ @@ -594,7 +594,7 @@ SExpr Options::getOptions() const throw() { ${all_modules_get_options} -#line 569 "${template}" +#line 612 "${template}" return SExpr(opts); } |