Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore some local variables from simix in MC_init
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:47:08 +0000 (18:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:47:08 +0000 (18:47 +0100)
commitc8cb025267aaf5869a961e6606d13369c6701801
tree7da1afba94113bd8c3825410aaef0fab84338786
parentbdb1638f0b58057107eb87995b2d447e34dc43a0
model-checker : ignore some local variables from simix in MC_init
src/mc/mc_global.c
src/simix/smx_context_sysv.c