|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Points the temp directory the functions below create paths in at dir for the lifetime of this object, restoring it on destruction. More...
#include <filesystem.h>
Public Member Functions | |
| tmp_dir_override (const std::string &dir) | |
| tmp_dir_override (const tmp_dir_override &)=delete | |
| tmp_dir_override & | operator= (const tmp_dir_override &)=delete |
| ~tmp_dir_override () | |
Points the temp directory the functions below create paths in at dir for the lifetime of this object, restoring it on destruction.
It sets the environment variable that boost::filesystem consults first: TMPDIR on POSIX, TMP on Windows. Not thread-safe.
|
explicit |
|
delete |
| tmp_dir_override::~tmp_dir_override | ( | ) |
|
delete |