Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : SMALLEST_POSSIBLE_MALLOC increased
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Mar 2012 17:27:33 +0000 (18:27 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Mar 2012 17:27:33 +0000 (18:27 +0100)
commitbe39bc6772dfce92c2f753504537025b2e0670c6
tree6dc5fb4e7fc8acc2d78511603daa98e6312086f6
parent720107cdb8256b793387156add85dd3da859d4ac
model-checker : SMALLEST_POSSIBLE_MALLOC increased
src/xbt/mmalloc/mmprivate.h