CBMC
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
 

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 29 of file tempdir.cpp.