12 #ifndef CPROVER_UTIL_GET_MODULE_H 13 #define CPROVER_UTIL_GET_MODULE_H 26 #endif // CPROVER_UTIL_GET_MODULE_H irep_idt module
Name of module the symbol belongs to.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const symbolt & get_module(const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
goto_programt coverage_criteriont message_handlert & message_handler