Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : memory leak
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 10 Feb 2015 14:04:34 +0000 (15:04 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 10 Feb 2015 14:04:34 +0000 (15:04 +0100)
commited340fe9e2dc5b18c17e9db0545be99b7a2e3361
tree0e16ec8de132b3ffc7b597d85fc80aff8e422bae
parentb440a5bd3aca5b2f8a333fbe207b9a24fc95a699
model-checker : memory leak
src/mc/mc_liveness.c
src/mc/mc_liveness.h
src/mc/mc_pair.c
src/mc/mc_visited.c