Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgri...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 19:37:55 +0000 (21:37 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
commit3028d14c0b1903582ac16f5eb09e4f33d7b1eb3a
treed06ef37fdfc550615429b6250243e257c3e17213
parent12fad2725726e22be1590a156eb2e505a6e85493
model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgrid_path is NULL
src/mc/mc_checkpoint.c