//#define MC_DEBUG 1
#define MC_VERBOSE 1
-/********************************** Variables with DWARF **********************************/
-
-XBT_INTERNAL void MC_find_object_address(memory_map_t maps, mc_object_info_t result);
-
/********************************** Miscellaneous **********************************/
-typedef struct s_local_variable{
- dw_frame_t subprogram;
- unsigned long ip;
- char *name;
- dw_type_t type;
- void *address;
- int region;
-} s_local_variable_t, *local_variable_t;
-
/* *********** Hash *********** */
/** \brief Hash the current state