cprover
tempdir.cpp File Reference
#include "tempdir.h"
#include <cassert>
#include <cstdlib>
#include <cstring>
#include "file_util.h"
Include dependency graph for tempdir.cpp:

Go to the source code of this file.

Functions

std::string get_temporary_directory (const std::string &name_template)
 

Function Documentation

§ get_temporary_directory()

std::string get_temporary_directory ( const std::string &  name_template)

Definition at line 32 of file tempdir.cpp.

Referenced by compilet::add_input_file(), and temp_dirt::temp_dirt().