CBMC
|
Helper functions for getting symbols from the symbol table during unit tests. More...
#include <util/irep.h>
Go to the source code of this file.
Namespaces | |
namespace | require_symbol |
Functions | |
const symbolt & | require_symbol::require_symbol_exists (const symbol_tablet &symbol_table, const irep_idt &symbol_identifier) |
Verify whether a given identifier is found in the symbol table and return it. | |
Helper functions for getting symbols from the symbol table during unit tests.
Definition in file require_symbol.h.