Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore some local variables from xbt/ex.c for stack comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 31 Oct 2012 20:37:46 +0000 (21:37 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commit0685d3d3e78277471c94864a820056f01b74fb7c
tree62ad1bf2344752e594004e9064fa8d4f745eb630
parentb436951b74325ab8ba6c798a151cc9081d24153e
model-checker : ignore some local variables from xbt/ex.c for stack comparison
src/simix/smx_process.c