SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SSHSettings.h
Go to the documentation of this file.
1 #pragma once
2 
4 
5 namespace benchmax {
6 namespace settings {
7 
8 /// Settings for SSH backend.
10  /// List of nodes to connect to.
11  std::vector<std::string> nodes;
12  /// Base directory for solvers.
13  std::string basedir;
14  /// Temporary directory for benchmarks and output files.
15  std::string tmpdir;
16  /// Use wallclock timeouts instead of CPU time.
18  /// Resolve and upload dependencies of binary.
20 };
21 
22 /// Registers SSH settings with settings parser.
24 }
25 
26 /// Return the SSH settings.
27 inline const auto& settings_ssh() {
28  return settings_get<settings::SSHBackendSettings>("backend-ssh");
29 }
30 
31 }
Generic class to manage settings parsing using boost::program_options.
void registerSSHBackendSettings(SettingsParser *parser)
Registers SSH settings with settings parser.
Definition: SSHSettings.cpp:9
const auto & settings_ssh()
Return the SSH settings.
Definition: SSHSettings.h:27
Settings for SSH backend.
Definition: SSHSettings.h:9
std::string basedir
Base directory for solvers.
Definition: SSHSettings.h:13
bool use_wallclock
Use wallclock timeouts instead of CPU time.
Definition: SSHSettings.h:17
bool resolve_deps
Resolve and upload dependencies of binary.
Definition: SSHSettings.h:19
std::vector< std::string > nodes
List of nodes to connect to.
Definition: SSHSettings.h:11
std::string tmpdir
Temporary directory for benchmarks and output files.
Definition: SSHSettings.h:15