Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove core dump for each reached pair
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 14:16:13 +0000 (16:16 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 19:37:05 +0000 (21:37 +0200)
commitb484816accc27d0087512b6d2cd7da35a58d3bf5
treef7861d188577fab0ecb52566cd24e2fcc2dea425
parentb66dec8383676c57d9dd6b541ada6d3f4fa624b7
model-checker : remove core dump for each reached pair
src/mc/mc_liveness.c