cprover
tempfile.cpp File Reference
#include "tempfile.h"
#include <fcntl.h>
#include <cstdlib>
#include <cstring>
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 87 of file tempfile.cpp.

References free(), and to_string().

Referenced by goto_cc_cmdlinet::add_infile_arg(), smt2_dect::dec_solve(), and smt2_temp_filet::smt2_temp_filet().