22 #include "settings/Settings.h"
23 #include "settings/SettingsParser.h"
42 auto& parser = SettingsParser::getInstance();
49 parser.parse_options(argc, argv);
58 std::cout << parser.print_help() << std::endl;
62 std::cout << parser.print_options() << std::endl;
69 BENCHMAX_LOG_INFO(
"benchmax.convert",
"Converting " << filename <<
" to ods using import filer " << filter);
71 ss <<
"libreoffice --headless --infilter=" << filter <<
" --convert-to ods " << filename;
72 system(ss.str().c_str());
100 int main(
int argc,
char** argv)
115 if(benchmarks.
size() == 0) {
116 BENCHMAX_LOG_ERROR(
"benchmax",
"No benchmarks were found. Specify a valid location with --directory.");
#define BENCHMAX_LOG_WARN(channel, msg)
Log warnings.
#define BENCHMAX_LOG_FATAL(channel, msg)
Log fatal errors.
#define BENCHMAX_LOG_INFO(channel, msg)
Log informational messages.
#define BENCHMAX_LOG_ERROR(channel, msg)
Log errors.
int main(int argc, char **argv)
Main program.
bool init_application(int argc, char **argv)
Initialized the application.
void handleSignal(int)
Handles the interrupt signal.
A set of benchmarks from some common base directory.
std::size_t size() const
Number of files.
Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchma...
void registerSlurmBackendSettings(SettingsParser *parser)
Registers Slurm settings with the settings parser.
void registerBenchmarkSettings(SettingsParser *parser)
Registers benchmark settings with the settings parser.
void registerSSHBackendSettings(SettingsParser *parser)
Registers SSH settings with settings parser.
void registerToolSettings(SettingsParser *parser)
Registers tool settings with the settings parser.
void registerPresetSettings(SettingsParser *parser)
Registers preset settings with the settings parser.
void logging_verbose()
Configure verbose logging for benchmax.
BenchmarkSet loadBenchmarks()
Loads benchmark files from directory specified in settings.
const auto & settings_core()
Retrieved core settings.
const auto & settings_benchmarks()
Return the benchmark settings.
void run_backend(const std::string &backend, const Jobs &jobs)
Runs a given backend on a list of tools and benchmarks.
const auto & settings_operation()
Retrieved operation settings.
void logging_quiet()
Configure quiet logging for benchmax.
void logging_configure()
Configure default logging for benchmax.
Tools loadTools()
Load all tools from the tool settings.
std::vector< ToolPtr > Tools
A vector of ToolPtr.
CoveringResult< typename op::PropertiesSet > exists(cadcells::datastructures::Projections &proj, FE &f, cadcells::Assignment ass, const VariableQuantification &quantification, bool characterize_sat, bool characterize_unsat)
Use your own judgement for the following log levels: TRACE Finer-grained informational events than th...