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

Go to the source code of this file.

Classes

class  temp_dirt
 
class  temp_working_dirt
 

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