history = tmgr_history_new();
surf_config_init(argc, argv);
+ surf_action_init();
if (MC_IS_ENABLED)
MC_memory_init();
}
tmgr_history_free(history);
history = NULL;
}
+ surf_action_exit();
if (surf_path)
xbt_dynar_free(&surf_path);
xbt_dynar_foreach(model_list, iter, model)
model->model_private->update_actions_state(NOW, min);
+#ifdef HAVE_TRACING
+ TRACE_paje_dump_buffer (0);
+#endif
+
return min;
}