ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
array_name.h
Go to the documentation of this file.
1#include <util/irep/expr.h>
2#include <irep2/irep2.h>
4
5std::string array_name(const namespacet &ns, const expr2tc &expr);
std::string array_name(const namespacet &ns, const expr2tc &expr)
Definition array_name.cpp:4
Definition namespace.h:10
Classes and definitions for non-stringy internal representation.
irep_container< expr2t > expr2tc
Definition irep2.h:431