Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add debug information about pointers in libsimgrid and remove useless...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 21:08:38 +0000 (23:08 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 21:08:38 +0000 (23:08 +0200)
commit26b402e5fd180de40ac1bba6456cc8837be42dc4
tree80cefa1b660856f34deaadd9b96b3cdab48be9ba
parentadf9f3647a001bb30fc04dd222b09de201ae1aa5
model-checker : add debug information about pointers in libsimgrid and remove useless fprintf in get_plt_section
src/mc/mc_checkpoint.c