Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update examples with new function MSG_init
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:51:44 +0000 (11:51 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 09:51:44 +0000 (11:51 +0200)
commit2b1e59493dcd4f1709b1228c673364ef7facc6e5
treee62d3f8f0512eb38259f1d960cbeba612373a429
parentb37e893be6476c05a93664395505f7eb4e4dd66e
model-checker : update examples with new function MSG_init
examples/msg/mc/bugged1.c
examples/msg/mc/bugged1_for_liveness.c
examples/msg/mc/bugged1_while_liveness.c
examples/msg/mc/bugged2.c
examples/msg/mc/bugged2_liveness.c
examples/msg/mc/bugged3.c
examples/msg/mc/centralized_liveness.c
examples/msg/mc/centralized_liveness_deadlock.c
examples/msg/mc/centralized_mutex.c
examples/msg/mc/random_test.c
examples/msg/mc/test_snapshot.c