|
CBMC
|
Include dependency graph for locals.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | localst |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const localst &locals) |
Local variables whose address is taken
Definition in file locals.h.