10 #ifndef CPROVER_UTIL_FILE_UTIL_H 11 #define CPROVER_UTIL_FILE_UTIL_H 20 const std::string &file_name);
22 #endif // CPROVER_UTIL_FILE_UTIL_H void delete_directory(const std::string &path)
deletes all files in 'path' and then the directory itself
std::string concat_dir_file(const std::string &directory, const std::string &file_name)
std::string get_current_working_directory()