and call MSG_action_trace_run(NULL)
You can still have one merged file for each processes.
* Kill the MSG_paje_output() function. It's a noop since 2 years.
+ SIMIX:
+ * add a SIMIX_sem_get_capacity() function
-- Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>