Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stop stack comparison before the context switching with maestro
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:36:19 +0000 (11:36 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:36:51 +0000 (11:36 +0200)
commit7b1c1aadfae6740b800408845c235f76fefd0dc2
tree2308fe6049ab61e12af2fc9aa93e8533aae51187
parentca56c046667fe56766ea8d522fd87cf2c23df4a4
model-checker : stop stack comparison before the context switching with maestro
src/mc/mc_checkpoint.c