Mentions légales du service

Skip to content

Fix bugs in starpu_fxt_tool

Lucas Nesi requested to merge fix_fxt_tool into master

This fixes:

  • Duplicated entries on paje caused by resetting the symbol_list at each MPI trace file.
  • Workers` unknown names because of a missing starpu_drivers_preinit.

Merge request reports