+ free(realname);
+ ++nframe;
+ } while(unw_step(&cursor));
+}
+
+}
+}
+
+static void MC_dump_stacks(FILE* file)
+{
+ int nstack = 0;
+ for (auto const& stack : mc_model_checker->process().stack_areas()) {
+ fprintf(file, "Stack %i:\n", nstack++);
+
+ simgrid::mc::UnwindContext context;
+ unw_context_t raw_context =
+ mc_model_checker->process().read<unw_context_t>(
+ simgrid::mc::remote((unw_context_t *)stack.context));
+ context.initialize(&mc_model_checker->process(), &raw_context);
+
+ unw_cursor_t cursor = context.cursor();
+ simgrid::mc::dumpStack(file, cursor);