model-check output more parsable

[simgrid.git] / src / surf / surf.c

diff --git a/src/surf/surf.c b/src/surf/surf.c
index 283fa6f..057a81e 100644 (file)
--- a/src/surf/surf.c
+++ b/src/surf/surf.c
@@ -309,6 +309,7 @@ void surf_init(int *argc, char **argv)
     history = tmgr_history_new();
 
   surf_config_init(argc, argv);
+  surf_action_init();
   if (MC_IS_ENABLED)
     MC_memory_init();
 }
@@ -362,6 +363,7 @@ void surf_exit(void)
     tmgr_history_free(history);
     history = NULL;
   }
+  surf_action_exit();
 
   if (surf_path)
     xbt_dynar_free(&surf_path);
@@ -467,7 +469,7 @@ double surf_solve(double max_date)
       model->model_private->update_actions_state(NOW, min);
 
 #ifdef HAVE_TRACING
-  TRACE_paje_dump_buffer ();
+  TRACE_paje_dump_buffer (0);
 #endif
 
   return min;