Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Tweak the handling of WaitAny transitions. It should be properly fixed later.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 3 Aug 2010 14:30:21 +0000 (14:30 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 3 Aug 2010 14:30:21 +0000 (14:30 +0000)
commite5079ae99c91da966852f2a09ba3f1aa123abc11
treee0e3ee3310dbf88567391c2a2f2778cf445e570a
parenta7fd4720b1db9e3e91e400bd8aadd319522747d4
Tweak the handling of WaitAny transitions. It should be properly fixed later.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8088 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_dpor.c
src/mc/mc_transition.c