extern xbt_dynar_t stacks_areas;
FILE *dot_output = NULL;
-const char* colors[10];
+const char* colors[13];
xbt_automaton_t _mc_property_automaton = NULL;
void MC_show_stack_safety(xbt_fifo_t stack)
{
+
+ int raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
+
+ MC_SET_RAW_MEM;
+
int value;
mc_state_t state;
xbt_fifo_item_t item;
xbt_free(req_str);
}
}
+
+ if(!raw_mem_set)
+ MC_UNSET_RAW_MEM;
}
void MC_show_deadlock(smx_simcall_t req)