Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Show more information on dead-lock'ed transitions
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 5 Aug 2010 09:01:03 +0000 (09:01 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 5 Aug 2010 09:01:03 +0000 (09:01 +0000)
commitdb0795278fff21bb440a8eb3640e99d4257f249b
tree9f627d5d35dc269741f14397c72aa4f3b0e873e4
parent0697e8bea14c079dda4fad0a10f13ed66bb77179
Show more information on dead-lock'ed transitions

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