cbmc/call__graph__test__utils_8h_source.html

/*******************************************************************\


Module: Call graph test utils


Author: Chris Smowton, chris.smowton@diffblue.com


\*******************************************************************/


#ifndef CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H

#define CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_H


#include <map>

#include <set>


#include <util/symbol.h>


class codet;


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


#endif /* CPROVER_TESTING_UTILS_CALL_GRAPH_TEST_UTILS_HT */

create_void_function_symbol
symbolt create_void_function_symbol(const irep_idt &name, const codet &code)
Definition call_graph_test_utils.cpp:14

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:22

ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

codet
Data structure for representing an arbitrary statement in a program.
Definition std_code_base.h:29

dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38

symbolt
Symbol table entry.
Definition symbol.h:28

symbol.h
Symbol table entry.