Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove var in list of global variables with MC_ignore_data_bss
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Feb 2013 11:06:04 +0000 (12:06 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Feb 2013 11:20:57 +0000 (12:20 +0100)
commit2ea615a592d67525bb5f8809c352e2c4075521d7
tree6e90e4ca7521ced88936c24068f79a255ae4fea6
parent874b2dcc3f8484b7f54be8cc126c4a611e74d030
model-checker : remove var in list of global variables with MC_ignore_data_bss
src/mc/mc_global.c
src/xbt/mmalloc/mm_diff.c