cprover
Loading...
Searching...
No Matches
call_graph_test_utils.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Call graph test utils
4
5Author: Chris Smowton, chris.smowton@diffblue.com
6
7\*******************************************************************/
8
10
11#include <util/std_code.h>
12
15{
17 symbolt function;
18 function.name = name;
19 function.type = void_function_type;
20 function.mode = ID_java;
21 function.value = code;
22 return function;
23}
24
26 const std::multimap<irep_idt, irep_idt> &map,
27 const irep_idt &key,
28 const std::set<irep_idt> &values)
29{
30 auto matching_values = map.equal_range(key);
31 std::set<irep_idt> matching_set;
32 for(auto it = matching_values.first; it != matching_values.second; ++it)
33 matching_set.insert(it->second);
34 return matching_set == values;
35}
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
bool multimap_key_matches(const std::multimap< irep_idt, irep_idt > &map, const irep_idt &key, const std::set< irep_idt > &values)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
Base type of functions.
Definition std_types.h:539
Data structure for representing an arbitrary statement in a program.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:37
The empty type.
Definition std_types.h:51
Symbol table entry.
Definition symbol.h:28