Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : set raw heap for initialization step
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:28:54 +0000 (16:28 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:28:54 +0000 (16:28 +0100)
commiteef2741bc79047ecdaa6507c23f99d9fa38cbc61
treea6c3a72df2fe4ddb9f3c823afe3d89536c7e9c6b
parent7616b7b3f449a258f75f3e1ba5c974b74694e91a
model-checker : set raw heap for initialization step
src/mc/mc_global.c