Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : double free memory fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 29 Sep 2012 21:39:50 +0000 (23:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commita251a38435f969d41bfdfa468d13324e196d1b9e
treebca3b5ba14ef1b5f9b6c4175309467b25ac6debe
parent3ce8390e04369fc85458df13a3718b4bd00b94d3
model-checker : double free memory fixed
src/mc/mc_global.c