Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : uninitialized variables
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 23 Apr 2015 12:28:40 +0000 (14:28 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 23 Apr 2015 12:28:40 +0000 (14:28 +0200)
commitf490afd93e7013f6fa9130a7eee234202379421e
treecadf600547399aa2b4f8d8fecd55ffc322e6cd17
parentad1dc29bdc5f65345b3718cd696b67d167551b75
model-checker : uninitialized variables
src/mc/mc_request.c