diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-07-26 16:42:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-26 23:42:20 +0000 |
commit | 1c93d0ca2cdab222dc122ad3a5c9b4bc28e2ef9c (patch) | |
tree | 339b277f75e4755ddb1421ceaf6446e87adf87a8 /src/main | |
parent | 9a098337f9f25e7e2df07e493e6a120f6b8ce520 (diff) |
Move public options functions to separate file (#6671)
This PR moves the remaining special purpose functions out of the Options class. This set of functions is only used to implement API functions in the smt engine (getting and setting options by string), and by the main driver for parsing and printing usage information.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver_unified.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 9d221450b..8c86f03cb 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -35,6 +35,7 @@ #include "main/time_limit.h" #include "options/base_options.h" #include "options/options.h" +#include "options/options_public.h" #include "options/parser_options.h" #include "options/main_options.h" #include "options/set_language.h" @@ -87,9 +88,9 @@ void printUsage(const Options& opts, bool full) { << endl << "cvc5 options:" << endl; if(full) { - Options::printUsage(ss.str(), *opts.base.out); + options::printUsage(ss.str(), *opts.base.out); } else { - Options::printShortUsage(ss.str(), *opts.base.out); + options::printShortUsage(ss.str(), *opts.base.out); } } @@ -103,8 +104,7 @@ int runCvc5(int argc, char* argv[], Options& opts) progPath = argv[0]; // Parse the options - std::vector<string> filenames = - Options::parseOptions(&opts, argc, argv, progName); + std::vector<string> filenames = options::parse(opts, argc, argv, progName); auto limit = install_time_limit(opts); @@ -115,7 +115,7 @@ int runCvc5(int argc, char* argv[], Options& opts) } else if (opts.base.languageHelp) { - Options::printLanguageHelp(*opts.base.out); + options::printLanguageHelp(*opts.base.out); exit(1); } else if (opts.driver.version) |