Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : pair without request executed not replay in MC_replay_liveness function
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:54:54 +0000 (11:54 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 9 Nov 2011 10:54:54 +0000 (11:54 +0100)
commit1fe9c42d64bd7524b7d24df2b1fcc6e6e37d6a6b
tree534ad4e12b99caaef3622aeb4485f832dcaec3a6
parent8c559bcf576778202a4e0840e9ac7ff7a47537f6
model-checker : pair without request executed not replay in MC_replay_liveness function
src/mc/mc_global.c