MSG:
* In trace replay, allow to have one trace file per process.
Give the specific trace file as argument of each process,
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.
MSG:
* In trace replay, allow to have one trace file per process.
Give the specific trace file as argument of each process,
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.