- pair->graph_state = MC_state_new();
- pair->graph_state->system_state = (system_state == NULL) ? MC_take_snapshot(pair_num) : system_state;
- pair->heap_bytes_used = mmalloc_get_bytes_used(std_heap);
+ pair->graph_state = graph_state;
+ if(pair->graph_state->system_state == NULL)
+ pair->graph_state->system_state = MC_take_snapshot(pair_num);
+ pair->heap_bytes_used = mmalloc_get_bytes_used_remote(
+ MC_process_get_heap(process)->heaplimit,
+ MC_process_get_malloc_info(process));