28 return settings_get<settings::SSHBackendSettings>(
"backend-ssh");
Generic class to manage settings parsing using boost::program_options.
void registerSSHBackendSettings(SettingsParser *parser)
Registers SSH settings with settings parser.
const auto & settings_ssh()
Return the SSH settings.
Settings for SSH backend.
std::string basedir
Base directory for solvers.
bool use_wallclock
Use wallclock timeouts instead of CPU time.
bool resolve_deps
Resolve and upload dependencies of binary.
std::vector< std::string > nodes
List of nodes to connect to.
std::string tmpdir
Temporary directory for benchmarks and output files.