Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : include tag in comm determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 13 Feb 2015 14:00:33 +0000 (15:00 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 13 Feb 2015 14:00:33 +0000 (15:00 +0100)
commit5c5074ba2e4ad898b83384cd41acfe541b5644d0
treec2aa053c29ef5c61a68e15a0b974e858a47c358c
parent0ccbaaa805875e64f29ceb8434e17c7de99b050c
model-checker : include tag in comm determinism verification
src/mc/mc_comm_determinism.c
src/mc/mc_comm_pattern.h