Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove test useless before free(line)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Nov 2011 15:26:56 +0000 (16:26 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Nov 2011 15:26:56 +0000 (16:26 +0100)
commite2936fea2cb322ff09366ff2828a11490c105b14
tree85bb68d80404e46a564c03d243538f299e0f5f4b
parent98f48503f018605eda2b1afa1ff099a484810474
model-checker : remove test useless before free(line)
src/mc/memory_map.c