ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
file_operations::tmp_dir_override Class Reference

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

Detailed Description

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.

Constructor & Destructor Documentation

◆ tmp_dir_override() [1/2]

tmp_dir_override::tmp_dir_override ( const std::string & dir)
explicit

◆ tmp_dir_override() [2/2]

file_operations::tmp_dir_override::tmp_dir_override ( const tmp_dir_override & )
delete

◆ ~tmp_dir_override()

tmp_dir_override::~tmp_dir_override ( )

Member Function Documentation

◆ operator=()

tmp_dir_override & file_operations::tmp_dir_override::operator= ( const tmp_dir_override & )
delete

The documentation for this class was generated from the following files: