call_graph_test_utils.h File Reference

#include <map>
#include <set>
#include <util/symbol.h>

Include dependency graph for call_graph_test_utils.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
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)

Function Documentation

create_void_function_symbol()

symbolt create_void_function_symbol	(	const irep_idt &	name,
		const codet &	code
	)

Definition at line 14 of file call_graph_test_utils.cpp.

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 at line 22 of file call_graph_test_utils.cpp.