Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : dangling pointer set to NULL
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 09:47:09 +0000 (11:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commitd969dee04ed9f3f9b8a116a7bcce2597ec0e09f6
tree97d6d7fe8843fb74a3f6686e9c3249f44119a495
parent5b1da5f9f4fce672ff7640fad335128e348bbaec
model-checker : dangling pointer set to NULL
src/smpi/smpi_base.c