Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize pointers (segfault with free)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 15:00:53 +0000 (17:00 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 15:00:53 +0000 (17:00 +0200)
commit5ff7a0f00eab7d7005451ad66f517ac9c4bfd68a
tree17d43e1362f5a08b7c3e9abc0f61cf77404b3c0e
parent7bc6dafdcd7ab881e3fa0c62c433c0230308dffb
model-checker : initialize pointers (segfault with free)
src/mc/mc_liveness.c