Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fragment size and fragment number may be negative
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 19 Mar 2013 15:39:04 +0000 (16:39 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 19 Mar 2013 18:28:29 +0000 (19:28 +0100)
commita2805e6d4758d8ae99baef0e2ada1867356429ea
tree8941d596a45b53bb0e3a81aac70e92a0c6c170bd
parent64d8be3badd63b57778ee6ed430a98668512466d
model-checker : fragment size and fragment number may be negative
src/xbt/mmalloc/mm_diff.c