CBMC
tempfile.cpp File Reference
#include "tempfile.h"
#include <cstdlib>
#include <cstring>
#include <filesystem>
#include "exception_utils.h"
+ Include dependency graph for tempfile.cpp:

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...
 

Function Documentation

◆ get_temporary_file()

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.