Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize global variable ignore_done and set its value to 0 at...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 14:47:43 +0000 (15:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commitfde40a59529ab6874966a07ce928dc0897731678
treed964c6ae92fb40261dace0549f1388e12c20feb6
parentbafef7b73131ceb40d273d98b1850823329ee689
model-checker : initialize global variable ignore_done and set its value to 0 at the end of heap comparison
src/xbt/mmalloc/mm_diff.c