![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
All properties needed to archive log files. More...
#include <SlurmUtilities.h>
Data Fields | |
std::string | filename_archive |
Filename of the archive. More... | |
std::string | tmp_dir |
Temporary directory to look for output files. More... | |
All properties needed to archive log files.
Definition at line 17 of file SlurmUtilities.h.
std::string benchmax::slurm::ArchiveProperties::filename_archive |
Filename of the archive.
Definition at line 19 of file SlurmUtilities.h.
std::string benchmax::slurm::ArchiveProperties::tmp_dir |
Temporary directory to look for output files.
Definition at line 21 of file SlurmUtilities.h.