![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Settings for SSH backend. More...
#include <SSHSettings.h>
Data Fields | |
std::vector< std::string > | nodes |
List of nodes to connect to. More... | |
std::string | basedir |
Base directory for solvers. More... | |
std::string | tmpdir |
Temporary directory for benchmarks and output files. More... | |
bool | use_wallclock |
Use wallclock timeouts instead of CPU time. More... | |
bool | resolve_deps |
Resolve and upload dependencies of binary. More... | |
Settings for SSH backend.
Definition at line 9 of file SSHSettings.h.
std::string benchmax::settings::SSHBackendSettings::basedir |
Base directory for solvers.
Definition at line 13 of file SSHSettings.h.
std::vector<std::string> benchmax::settings::SSHBackendSettings::nodes |
List of nodes to connect to.
Definition at line 11 of file SSHSettings.h.
bool benchmax::settings::SSHBackendSettings::resolve_deps |
Resolve and upload dependencies of binary.
Definition at line 19 of file SSHSettings.h.
std::string benchmax::settings::SSHBackendSettings::tmpdir |
Temporary directory for benchmarks and output files.
Definition at line 15 of file SSHSettings.h.
bool benchmax::settings::SSHBackendSettings::use_wallclock |
Use wallclock timeouts instead of CPU time.
Definition at line 17 of file SSHSettings.h.