cprover
|
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 87 of file tempfile.cpp.
References free().
Referenced by goto_cc_cmdlinet::add_infile_arg(), c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_visual_studio(), smt1_dect::dec_solve(), smt2_dect::dec_solve(), read_goto_binary(), smt1_temp_filet::smt1_temp_filet(), and smt2_temp_filet::smt2_temp_filet().