9 #ifndef CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H 10 #define CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H 20 const std::multimap<irep_idt, irep_idt> &map,
22 const std::set<irep_idt> &values);
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
bool multimap_key_matches(const std::multimap< irep_idt, irep_idt > &map, const irep_idt &key, const std::set< irep_idt > &values)
A statement in a programming language.