Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[INSTR] Rename paje headers for call-location tracing
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 26 May 2016 10:37:35 +0000 (12:37 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 26 May 2016 10:37:41 +0000 (12:37 +0200)
We cannot call these values 'Filename' and 'Linenumber' because
they're reserved and will be ignored by pj_dump.


No differences found