Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Let the model-checker decide if the wait transitions should timeout or not.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:45:57 +0000 (15:45 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:45:57 +0000 (15:45 +0000)
commit717875729557ca0e76702af5be742600842664a3
tree475f9bc02a9529e37a5384513fbf8de96ce42ddb
parentd5b91248fa5fef0d3a11b9da3546cf9f1023192a
Let the model-checker decide if the wait transitions should timeout or not.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9464 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_request.c
src/mc/mc_state.c
src/simix/network_private.h
src/simix/smx_network.c
src/simix/smx_smurf.c