![]() |
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.