Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix segfault in get_local_variables_values()
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 16:18:09 +0000 (17:18 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 19:40:45 +0000 (20:40 +0100)
commit57fe5b0979405e769623b751871db271dfb61652
tree30f3937d2502fcc16b6027c2fcba8f191b1daf7e
parent68be5601ff3ff82d68ac0368fbe2f003f9da9143
model-checker : fix segfault in get_local_variables_values()
src/mc/mc_checkpoint.c