cprover
memory_predicates.cpp File Reference

Predicates to specify memory footprint in function contracts. More...

+ Include dependency graph for memory_predicates.cpp:

Go to the source code of this file.

Functions

std::string unique_symbol (const symbol_tablet &tbl, const std::string &original)
 

Detailed Description

Predicates to specify memory footprint in function contracts.

Definition in file memory_predicates.cpp.

Function Documentation

◆ unique_symbol()

std::string unique_symbol ( const symbol_tablet tbl,
const std::string &  original 
)

Definition at line 289 of file memory_predicates.cpp.