Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
a few smells less
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 12 Jun 2017 12:35:36 +0000 (14:35 +0200)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 12 Jun 2017 12:35:36 +0000 (14:35 +0200)
commit21a3921c31c01fe1bc4d537e5066d03a620aca31
tree53cfffe7f2b6857b1a12cfa25d6a4c45a96bfc78
parent600e50aa1f50cbdfd2d20c6b2bcea8a0908d4416
a few smells less
examples/smpi/mc/bugged1_liveness.c
examples/smpi/mc/bugged2.c
examples/smpi/mc/mutual_exclusion.c
examples/smpi/mc/non_termination1.c
examples/smpi/mc/non_termination2.c
examples/smpi/mc/non_termination3.c
examples/smpi/mc/non_termination4.c
examples/smpi/mc/only_send_deterministic.c