call_graph_test_utils.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Call graph test utils
 
Author: Chris Smowton, chris.smowton@diffblue.com
 
\*******************************************************************/
 
#include "call_graph_test_utils.h"
 
#include <util/std_code_base.h>
 
symbolt
create_void_function_symbol(const irep_idt &name, const codet &code)
{
  const code_typet void_function_type({}, empty_typet());
  symbolt function{name, void_function_type, ID_java};
  function.value = code;
  return function;
}
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)
{
  auto matching_values = map.equal_range(key);
  std::set<irep_idt> matching_set;
  for(auto it = matching_values.first; it != matching_values.second; ++it)
    matching_set.insert(it->second);
  return matching_set == values;
}
bool multimap_key_matches( {…}