Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new tesh examples about communications determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 3 Jun 2014 08:42:48 +0000 (10:42 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 3 Jun 2014 08:42:48 +0000 (10:42 +0200)
commit8f573465f3fa5627942d49c8caba3d57955b4046
treeb1814bd8714a0ade909edf65eed2f146101b7343
parent48af4c8427d171d3e05d39116b02e441f2391374
model-checker : new tesh examples about communications determinism verification
buildtools/Cmake/AddTests.cmake
examples/smpi/mc/non_deterministic.c
examples/smpi/mc/non_deterministic.tesh [new file with mode: 0644]
examples/smpi/mc/send_deterministic.c
examples/smpi/mc/send_deterministic.tesh [new file with mode: 0644]