Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: perform actual model-checking in tesh tests
authorChristophe Thiéry <christopho128@gmail.com>
Thu, 7 Apr 2011 11:19:43 +0000 (13:19 +0200)
committerChristophe Thiéry <christopho128@gmail.com>
Thu, 7 Apr 2011 11:19:43 +0000 (13:19 +0200)
commit1ab75e7183cfd90b19748fbc0cfc3a7418f3f8ad
tree0ffc0e69509948610a4c8ea82bb4462130778c48
parent61e66acc130576434c1ccdbc88d62d5dae52f7e6
MC: perform actual model-checking in tesh tests
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged2.tesh
examples/msg/mc/centralized.tesh
src/mc/mc_request.c