10 #ifndef CPROVER_UTIL_TEMPDIR_H 11 #define CPROVER_UTIL_TEMPDIR_H 28 explicit temp_dirt(
const std::string &name_template);
45 #endif // CPROVER_UTIL_TEMPDIR_H
std::string get_temporary_directory(const std::string &name_template)
temp_dirt(const std::string &name_template)
std::string operator()(const std::string &file)
std::string old_working_directory