CBMC
call_graph_test_utils.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Call graph test utils
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H
10 #define CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H
11 
12 #include <map>
13 #include <set>
14 
15 #include <util/symbol.h>
16 
17 class codet;
18 
19 symbolt
20 create_void_function_symbol(const irep_idt &name, const codet &code);
21 
22 bool multimap_key_matches(
23  const std::multimap<irep_idt, irep_idt> &map,
24  const irep_idt &key,
25  const std::set<irep_idt> &values);
26 
27 #endif /* CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_HT */
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:36
multimap_key_matches
bool multimap_key_matches(const std::multimap< irep_idt, irep_idt > &map, const irep_idt &key, const std::set< irep_idt > &values)
Definition: call_graph_test_utils.cpp:25
symbol.h
Symbol table entry.
symbolt
Symbol table entry.
Definition: symbol.h:27
create_void_function_symbol
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
Definition: call_graph_test_utils.cpp:14
codet
Data structure for representing an arbitrary statement in a program.
Definition: std_code_base.h:28