SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SSHConnection.h File Reference
#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"
Include dependency graph for SSHConnection.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; }
 

Macro Definition Documentation

◆ SSH_LOCKED

#define SSH_LOCKED (   expr)    { std::lock_guard<std::mutex> guard(mutex); expr; }

Definition at line 15 of file SSHConnection.h.