|
CBMC
|
An empty namespacet for unit tests that don't need symbols. More...
Include dependency graph for empty_namespace.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | empty_namespacet |
| A namespacet that contains an empty symbol table, for use in tests that need a namespacet but don't actually look up any symbols. More... | |
Variables | |
| const empty_namespacet | empty_namespace |
An empty namespacet for unit tests that don't need symbols.
Definition in file empty_namespace.h.
|
extern |
Definition at line 14 of file empty_namespace.cpp.