Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : compare the pid of enabled processes before memory introspection
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:08:47 +0000 (17:08 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 15:08:47 +0000 (17:08 +0200)
commitb77d16c5d011f3c04ab6dcc2c4d5d2f865fd9415
tree092afa0b46433f8ff2d9e6ced7eb7fb009e522cf
parent5d58398955c920f5cb80a92e48f52a09b95bb7d6
model-checker : compare the pid of enabled processes before memory introspection
examples/msg/mc/bugged1_liveness.tesh
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h