SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
benchmax.cpp File Reference
#include <csignal>
#include <filesystem>
#include <iostream>
#include "config.h"
#include "logging.h"
#include "backends/Backends.h"
#include "backends/Jobs.h"
#include "benchmarks/benchmarks.h"
#include "tools/Tools.h"
#include "settings/PresetSettings.h"
#include "settings/Settings.h"
#include "settings/SettingsParser.h"
Include dependency graph for benchmax.cpp:

Go to the source code of this file.

Functions

bool init_application (int argc, char **argv)
 Initialized the application. More...
 
void handleSignal (int)
 Handles the interrupt signal. More...
 
int main (int argc, char **argv)
 Main program. More...
 

Detailed Description

Author
Sebastian Junges
Ulrich Loup
Since
2012-02-01
Version
2013-04-23

Definition in file benchmax.cpp.

Function Documentation

◆ handleSignal()

void handleSignal ( int  )

Handles the interrupt signal.

Definition at line 91 of file benchmax.cpp.

Here is the caller graph for this function:

◆ init_application()

bool init_application ( int  argc,
char **  argv 
)

Initialized the application.

Takes care of loading settings from the command line and a config file. Afterwards checks for all options that are handled easily like being verbose or showing the help. Might signal to stop execution by returning true.

Parameters
argcargc as passed to main()
argvargv as passed to main()
Returns
true if the application should stop.

Definition at line 38 of file benchmax.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ main()

int main ( int  argc,
char **  argv 
)

Main program.

Definition at line 100 of file benchmax.cpp.

Here is the call graph for this function: