Fix bugs in starpu_fxt_tool (!14) · Merge requests · starpu / starpu · GitLab

Mentions légales du service

Merged Lucas Nesi requested to merge fix_fxt_tool into master Feb 14, 2021

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.