Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use abort() instead of a hack for core dump
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 21:02:04 +0000 (23:02 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 21:02:04 +0000 (23:02 +0200)
commit113dec377baaaa0d41929d24ed2b48c80d79ba36
tree6de67d805d7d5237243da1ca42bd817780fc19c5
parent28628af902f72f15bd3fb0b7c93d1dd8a63d29ac
model-checker : use abort() instead of a hack for core dump
src/mc/mc_liveness.c