ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
array_name.cpp File Reference
Include dependency graph for array_name.cpp:

Functions

std::string array_name (const namespacet &ns, const expr2tc &expr)

Function Documentation

◆ array_name()

std::string array_name ( const namespacet & ns,
const expr2tc & expr )