![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <mutex>#include <sys/stat.h>#include <libssh/libssh.h>#include <libssh/sftp.h>#include "Node.h"#include "SSHSettings.h"#include <benchmax/benchmarks/benchmarks.h>#include <benchmax/logging.h>#include "../../utils/parsing.h"
Go to the source code of this file.
Data Structures | |
| class | benchmax::ssh::SSHConnection |
| A wrapper class that manages a single SSH connection as specified in a Node object (with all its channels). More... | |
Namespaces | |
| benchmax | |
| benchmax::ssh | |
Macros | |
| #define | SSH_LOCKED(expr) { std::lock_guard<std::mutex> guard(mutex); expr; } |
| #define SSH_LOCKED | ( | expr | ) | { std::lock_guard<std::mutex> guard(mutex); expr; } |
Definition at line 15 of file SSHConnection.h.