Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix debug + trace
authordegomme <adegomme@users.noreply.github.com>
Thu, 28 Mar 2019 11:04:52 +0000 (12:04 +0100)
committerdegomme <adegomme@users.noreply.github.com>
Thu, 28 Mar 2019 17:35:56 +0000 (18:35 +0100)
commit4f07a5a6873fe49b411ace45de96adfbef8cb41a
tree25023fd681e7c5101d07774d5cd26fe5a4d3246e
parent7286db70052377cc68be20134867bf68aa2e4a6a
Fix debug + trace
- print might be called several times when debug is on, leading to double frees.
- actually emove the calls to buffer_debug, printing the whole buffer twice at each tracing event is a tiny bit too much (and it ruins the output trace).

The helper function is still there, I don't know whether to remove it or not.
src/instr/instr_paje_events.cpp
src/instr/instr_paje_events.hpp
src/instr/instr_paje_trace.cpp