Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free memory
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:47:05 +0000 (22:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:47:05 +0000 (22:47 +0200)
commitadf9f3647a001bb30fc04dd222b09de201ae1aa5
treec19d85be2b26ff7d23ad27339db54feecc01743b
parent6094b84fce7ea54856b5df4ee531e1e16860428c
model-checker : free memory
src/mc/mc_checkpoint.c