CBMC
|
#include "tempfile.h"
#include <cstdlib>
#include <cstring>
#include <filesystem>
#include "exception_utils.h"
Go to the source code of this file.
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.