Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore stack_top of maestro context for heap comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 1 Aug 2012 13:49:04 +0000 (15:49 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 1 Aug 2012 13:54:42 +0000 (15:54 +0200)
commitf29ed6f3e0d0876378d00801428c2d870d9b1ceb
treeb2fd2d6234d0ec7ee5b5bf8431937f30892d3a5c
parenta62f7fd52f7273e5cfb7de48e8d530f805c67d74
model-checker : ignore stack_top of maestro context for heap comparison
src/simix/smx_context_raw.c