CBMC
Loading...
Searching...
No Matches
empty_namespace.h File Reference

An empty namespacet for unit tests that don't need symbols. More...

#include <util/namespace.h>
#include <util/symbol_table.h>
+ 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
 

Detailed Description

An empty namespacet for unit tests that don't need symbols.

Definition in file empty_namespace.h.

Variable Documentation

◆ empty_namespace

const empty_namespacet empty_namespace
extern

Definition at line 14 of file empty_namespace.cpp.