Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix some memory leaks
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 08:51:58 +0000 (10:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
commitb72e8264dccedfa1c53042e99f94d3a8e5387316
treeb1e51f92c042d319fd355f5e49fb781bc91f24d2
parentfe50f12c40cd5b19c48e931a496bcb33ea8fb608
model-checker : fix some memory leaks
include/xbt/automaton.h
src/include/mc/datatypes.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h
src/xbt/automaton/automaton.c