Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : equal_to field of blocks/fragments updated twice with match_equals
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:24:49 +0000 (00:24 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:24:49 +0000 (00:24 +0200)
commita1ea25d2fc3acda3fdaad9e2fc2b03769fe234d5
tree96eb52a867da2fe709321de0ca690a214aeed041
parentda6e29e9c8ead71abb84bd9bb826baa2b2c6e1db
model-checker : equal_to field of blocks/fragments updated twice with match_equals
src/xbt/mmalloc/mm_diff.c