Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add commande line in comment to run the example
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 10 Apr 2014 07:27:22 +0000 (09:27 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 10 Apr 2014 07:27:22 +0000 (09:27 +0200)
commit72fd786285169a44659ae03a6255618e577c9e13
treef835055e499e354cdda0d2499cad5dc9594ea54a
parent6415f461ec1e39a4f92167abe1b39d4d9b9f882e
model-checker : add commande line in comment to run the example
examples/smpi/mc/bugged1_liveness.c