SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings::SSHBackendSettings Struct Reference

Settings for SSH backend. More...

#include <SSHSettings.h>

Collaboration diagram for benchmax::settings::SSHBackendSettings:

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...
 

Detailed Description

Settings for SSH backend.

Definition at line 9 of file SSHSettings.h.

Field Documentation

◆ basedir

std::string benchmax::settings::SSHBackendSettings::basedir

Base directory for solvers.

Definition at line 13 of file SSHSettings.h.

◆ nodes

std::vector<std::string> benchmax::settings::SSHBackendSettings::nodes

List of nodes to connect to.

Definition at line 11 of file SSHSettings.h.

◆ resolve_deps

bool benchmax::settings::SSHBackendSettings::resolve_deps

Resolve and upload dependencies of binary.

Definition at line 19 of file SSHSettings.h.

◆ tmpdir

std::string benchmax::settings::SSHBackendSettings::tmpdir

Temporary directory for benchmarks and output files.

Definition at line 15 of file SSHSettings.h.

◆ use_wallclock

bool benchmax::settings::SSHBackendSettings::use_wallclock

Use wallclock timeouts instead of CPU time.

Definition at line 17 of file SSHSettings.h.


The documentation for this struct was generated from the following file: