Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : create mc directory in smpi examples and add new example for liveness...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 11:35:57 +0000 (13:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 11:39:07 +0000 (13:39 +0200)
model-checker : create mc directory in smpi examples and add new example for liveness verification of MPI programs
examples/smpi/mc/bugged1 [new file with mode: 0755]
examples/smpi/mc/bugged1.c [moved from examples/smpi/mc_bugged1.c with 94% similarity]
examples/smpi/mc/bugged1_liveness [new file with mode: 0755]
examples/smpi/mc/bugged1_liveness.c [new file with mode: 0644]
examples/smpi/mc/bugged2 [new file with mode: 0755]
examples/smpi/mc/bugged2.c [moved from examples/smpi/mc_bugged2.c with 100% similarity]
examples/smpi/mc/hostfile_bugged1 [new file with mode: 0644]
examples/smpi/mc/hostfile_bugged1_liveness [new file with mode: 0644]
examples/smpi/mc/hostfile_bugged2 [new file with mode: 0644]
examples/smpi/mc/promela_bugged1_liveness [new file with mode: 0644]