Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Some MSG examples mainly useful to test the model-checker
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 May 2010 23:17:06 +0000 (23:17 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 May 2010 23:17:06 +0000 (23:17 +0000)
commitb24c14fba1046bbf5577d5b0ab1fe47b2af69a0d
tree60a4a09d98dd33f871aea6174585fa8b7a1183c5
parent28da5067e7d2ef21f2c2a04dd88ce566fe8aaa39
Some MSG examples mainly useful to test the model-checker

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7706 48e7efb5-ca39-0410-a469-dd3cf9ba447f
12 files changed:
buildtools/Cmake/prog_test/prog_va_copy.c
buildtools/Cmake/src/CMakeMakeExeLib.txt
examples/msg/Makefile.am
examples/msg/mc/CMakeLists.txt [new file with mode: 0644]
examples/msg/mc/bugged1.c [new file with mode: 0644]
examples/msg/mc/bugged2.c [new file with mode: 0644]
examples/msg/mc/centralized_mutex.c [new file with mode: 0644]
examples/msg/mc/deploy_bugged1.xml [new file with mode: 0644]
examples/msg/mc/deploy_bugged2.xml [new file with mode: 0644]
examples/msg/mc/deploy_mutex.xml [new file with mode: 0644]
examples/msg/mc/platform.xml [new file with mode: 0644]
include/mc/modelchecker.h [new file with mode: 0644]