Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add global variable in bugged1_liveness example to change the number...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 07:42:06 +0000 (09:42 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 07:52:48 +0000 (09:52 +0200)
commit9b5d5be212c4f3c8e9af41c3d6b771662b4495d5
treefa789562402c0b4fc613033d345370fc65bc2c0c
parent41906f03a736673ad3b22028213662e36c938cb3
model-checker : add global variable in bugged1_liveness example to change the number of clients
examples/msg/mc/bugged1_liveness.c