Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix index of dynar in get_location
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Feb 2013 10:13:15 +0000 (11:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Feb 2013 10:13:42 +0000 (11:13 +0100)
commitbb90f02025de07b7f6b3e319114764303010562e
treefc9eb9a3161f57556b3e53e6c5e8893774006e46
parent2977e6db5b2bc8bc1f66e0517db554193975607c
model-checker : fix index of dynar in get_location
src/mc/mc_global.c