Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comparison of number of processes and bytes used in heap done twice...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Jun 2013 18:39:10 +0000 (20:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 12:31:12 +0000 (14:31 +0200)
commitf0df12b2ea84d343936a102425a08c2f106fc468
tree2c07f4afe3faebc83ad062a491365ec6d4076e45
parent9d8deb3b095e94c22039c29982373a7aaf44d1cd
model-checker : comparison of number of processes and bytes used in heap done twice, remove one of them
src/mc/mc_compare.c