SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SlurmUtilities.cpp File Reference
#include "SlurmUtilities.h"
#include <regex>
#include <sstream>
#include <benchmax/utils/execute.h>
Include dependency graph for SlurmUtilities.cpp:

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...