Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add suport for TestAny and WaitAny requests to the model-checker.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 Jan 2011 09:02:47 +0000 (09:02 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 5 Jan 2011 09:02:47 +0000 (09:02 +0000)
commit7a25b8e6a7aae6d40849189e58495aee0d8f726f
tree432632ea3e7c66a517a389816177648c27de654d
parent3a04e753eda34fd4f9879f943076ccd149d879e8
Add suport for TestAny and WaitAny requests to the model-checker.

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