call_graph_test_utils.cpp File Reference

#include "call_graph_test_utils.h"
#include <util/std_code_base.h>

Include dependency graph for call_graph_test_utils.cpp:

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.