16 if (std::filesystem::is_directory(path)) {
19 for (
auto it = std::filesystem::directory_iterator(path); it != std::filesystem::directory_iterator(); it++) {
22 }
else if (std::filesystem::is_symlink(path)) {
24 auto r = std::filesystem::read_symlink(path);
29 mFilesList.push_back(std::filesystem::absolute(path));
35 }
catch(
const std::filesystem::filesystem_error& ex) {
#define BENCHMAX_LOG_DEBUG(channel, msg)
Log debug messages.
#define BENCHMAX_LOG_WARN(channel, msg)
Log warnings.
#define BENCHMAX_LOG_TRACE(channel, msg)
Log trace messages.
#define BENCHMAX_LOG_ERROR(channel, msg)
Log errors.
void add_directory(const std::filesystem::path &dir)
Recursively find all benchmarks from this directory.
void add_recursive(const std::filesystem::path &path)
Recursively add all benchmarks from this path.
std::vector< std::filesystem::path > mFilesList
List of files in this benchmark set.
void sort(T *array, int size, LessThan lt)
CoveringResult< typename op::PropertiesSet > exists(cadcells::datastructures::Projections &proj, FE &f, cadcells::Assignment ass, const VariableQuantification &quantification, bool characterize_sat, bool characterize_unsat)