cprover
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 <
analyses/call_graph.h
>
13
14
#include <
util/std_code.h
>
15
16
symbolt
17
create_void_function_symbol
(
const
irep_idt
&name,
const
codet
&code);
18
19
bool
multimap_key_matches
(
20
const
std::multimap<irep_idt, irep_idt> &map,
21
const
irep_idt
&key,
22
const
std::set<irep_idt> &values);
23
24
#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:37
call_graph.h
Function Call Graphs.
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:23
std_code.h
symbolt
Symbol table entry.
Definition:
symbol.h:28
create_void_function_symbol
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
Definition:
call_graph_test_utils.cpp:12
codet
Data structure for representing an arbitrary statement in a program.
Definition:
std_code.h:35
unit
testing-utils
call_graph_test_utils.h
Generated by
1.8.20