9 #ifndef CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H 10 #define CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H 26 #endif // CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const symbolt & 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.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...