cprover
tempdir.cpp File Reference
#include "tempdir.h"
#include <cstdlib>
#include <vector>
#include "invariant.h"
#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_files_from_archive(), and temp_dirt::temp_dirt().