SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <carl-settings/settings_utils.h>
#include <benchmax/logging.h>
#include <chrono>
#include <filesystem>
#include <string>
#include <vector>
Go to the source code of this file.
Data Structures | |
struct | benchmax::slurm::ArchiveProperties |
All properties needed to archive log files. More... | |
struct | benchmax::slurm::SubmitfileProperties |
All properties needed to create a submit file. More... | |
struct | benchmax::slurm::ChunkedSubmitfileProperties |
All properties needed to create a submit file. More... | |
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) |
template<typename Jobs > | |
void | benchmax::slurm::generate_jobs_file (const std::string &filename, std::pair< std::size_t, std::size_t > range, const Jobs &jobs) |
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... | |