CBMC
tempfile.h File Reference
#include <string>
+ Include dependency graph for tempfile.h:
+ This graph shows which files directly or indirectly include this file:

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

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.