Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 2 Jul 2012 14:30:53 +0000 (16:30 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 2 Jul 2012 14:30:53 +0000 (16:30 +0200)
commit4586126e5a968926d9c937fb5b6e39eff37a2bd3
tree98fa63bc8d3cde5a1a8b8555d98ea6dd52c49ec6
parent7ee955e723c9098d76dab196c47c310fd0b2bac4
model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
examples/msg/mc/bugged1.c
examples/msg/mc/bugged1_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/test_snapshot.c