SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SettingsParser.cpp
Go to the documentation of this file.
1 #include "SettingsParser.h"
2 
3 #include "Settings.h"
4 
5 namespace benchmax {
6 
7 namespace po = boost::program_options;
8 
10  mPositional.add("input-file", 1);
11 
12  auto& settings = settings::Settings::getInstance();
13 
14  {
15  auto& s = settings.get<settings::CoreSettings>("core");
16  add("Core settings").add_options()
17  ("help", po::bool_switch(&s.show_help), "show help")
18  ("settings", po::bool_switch(&s.show_settings), "show settings that are used")
19  ("verbose", po::bool_switch(&s.be_verbose), "show more detailed output")
20  ("quiet", po::bool_switch(&s.be_quiet), "show only most important output")
21  ("config,c", po::value<std::string>(&s.config_file), "load config from the given config file")
22  ;
23  }
24  {
25  auto& s = settings.get<settings::OperationSettings>("operation");
26  add("Operational settings").add_options()
27  ("backend,b", po::value<std::string>(&s.backend), "Run benchmarks using the given backend. Possible values: \"condor\", \"local\", \"slurm\", \"ssh\".")
28  ("mode", po::value<std::string>(&s.mode)->default_value("both"), "Which tasks to perform (\"execute\", \"collect\" or \"both\")")
29  ("convert", po::value<std::string>(&s.convert_ods_filename), "Convert a XML result file to .ods")
30  ("convert-filter", po::value<std::string>(&s.convert_ods_filter)->default_value("Benchmax"), "XSLT filter name to import XML file into libreoffice")
31  ("use-tmp", po::bool_switch(&s.use_temp), "Use temporary files for saving memory")
32  ;
33  }
34 }
35 
36 }