CBMC
|
#include <string>
Go to the source code of this file.
Classes | |
class | temporary_filet |
Functions | |
std::string | get_temporary_file (const std::string &prefix, const std::string &suffix) |
Substitute for mkstemps (OpenBSD standard) for Windows, where it is unavailable. More... | |
std::string get_temporary_file | ( | const std::string & | prefix, |
const std::string & | suffix | ||
) |
Substitute for mkstemps (OpenBSD standard) for Windows, where it is unavailable.
Definition at line 99 of file tempfile.cpp.