cprover
Loading...
Searching...
No Matches
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.