Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4fef146) | patch
Remove the transitions from the model-checker's setset before deleting it.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 May 2010 15:25:57 +0000 (15:25 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 May 2010 15:25:57 +0000 (15:25 +0000)
commit6d5e6b62c05a462bea3606f44f66e766efe1a9ec
tree135bc50a779ec008f0fc0de8229164c92d33fb97tree | snapshot
parent4fef14624811a33d03bb19ceb48661d07a1720bbcommit | diff
Remove the transitions from the model-checker's setset before deleting it.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7805 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_global.c diff | blob | history
Clone of SimGrid repository with local patches