Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused variable CS_PER_PROCESS
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 May 2012 10:04:22 +0000 (12:04 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 May 2012 10:04:22 +0000 (12:04 +0200)
commit9b592c9f93e213394b8acbc2a892e81066e68c23
treeede4b3391b74339ec8feb843e6551c103d3a3717
parent37baaf70ee95c42a6f4b80913db243c199230fb9
model-checker : remove unused variable CS_PER_PROCESS
examples/msg/mc/centralized_liveness.c