Tools.cpp File Reference

#include "Tools.h"
#include "MathSAT.h"
#include "Minisat.h"
#include "Minisatp.h"
#include "SMTRAT.h"
#include "SMTRAT_OPB.h"
#include "SMTRAT_Analyzer.h"
#include "Z3.h"
#include <benchmax/settings/SettingsParser.h>
#include <benchmax/logging.h>
#include <regex>

Include dependency graph for Tools.cpp:

Go to the source code of this file.

Namespaces
	benchmax
	benchmax::settings

Functions
template<typename T >
void	benchmax::createTools (const std::vector< std::filesystem::path > &arguments, Tools &tools)
	Create tools of a given type T from a list of binaries and store them in tools. More...
Tools	benchmax::loadTools ()
	Load all tools from the tool settings. More...
bool	benchmax::settings::finalize_tool_settings (ToolSettings &s, const boost::program_options::variables_map &)
	Postprocess settings to compute common prefix. More...
void	benchmax::settings::registerToolSettings (SettingsParser *parser)
	Registers tool settings with the settings parser. More...