CBMC
|
#include "tempdir.h"
#include <filesystem>
#include <cstdlib>
#include <cstring>
#include <vector>
#include "exception_utils.h"
Go to the source code of this file.
Functions | |
std::string | get_temporary_directory (const std::string &name_template) |
std::string get_temporary_directory | ( | const std::string & | name_template | ) |
Definition at line 29 of file tempdir.cpp.