Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix memory free
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 1 Jun 2013 09:51:06 +0000 (11:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 1 Jun 2013 09:51:06 +0000 (11:51 +0200)
commit13b26f61527fed7ac5dbc65753430499d89b4903
treeea3eb78611d5d6cfb6fbeb65bcb861a7c14c5cf4
parent37876ed92c56be8bf04d4075e862fef838cf29e1
model-checker : fix memory free
src/mc/mc_liveness.c