![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Go to the source code of this file.
Namespaces | |
benchmax | |
benchmax::slurm | |
Functions | |
void | benchmax::slurm::archive_log_files (const ArchiveProperties &p) |
Put all log files into an archive. More... | |
std::vector< fs::path > | benchmax::slurm::collect_result_files (const fs::path &basedir) |
Collects all result files in the given base directory for this job id. More... | |
std::string | benchmax::slurm::generate_submit_file (const SubmitfileProperties &p) |
Generate a submit file for Slurm with the given properties. More... | |
std::string | benchmax::slurm::generate_submit_file_chunked (const ChunkedSubmitfileProperties &p) |
int | benchmax::slurm::parse_job_id (const std::string &output) |
Parses the job id from the output of sbatch . More... | |
std::string | benchmax::slurm::parse_result_info (const std::string &content, const std::string &name) |
Parse a single result information from the output. More... | |
void | benchmax::slurm::remove_log_files (const std::vector< fs::path > &files, bool remove) |
Remove the given list of files. More... | |
void | benchmax::slurm::clear_directory (const fs::path &basedir) |
Clear log files from directory. More... | |
bool | benchmax::slurm::is_job_finished (int jobid) |
Checks if the given job is finished. More... | |