Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix get_local_variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Jan 2013 22:34:25 +0000 (23:34 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:45:34 +0000 (00:45 +0100)
commitff673c35e3a4c59f37040d6ae02ae49458301839
tree828c1d28b6dd10eef8337da50cd11e653866edf8
parentd013cec453ee914baf3c62275ea2042c41e7c270
model-checker : fix get_local_variables
src/mc/mc_checkpoint.c
src/mc/mc_global.c