Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6aaebb) | patch
If --cfg=model-check:2 was passed, use a DFS exploration.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 15 Feb 2011 16:08:49 +0000 (16:08 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 15 Feb 2011 16:08:49 +0000 (16:08 +0000)
commita046023f73983299e09f2ddab1c508e645eccb8b
tree7f296a9a8f77f212cfeb2b825fdf2321b754ce3ctree | snapshot
parentb6aaebb41faacd98894520d95f3cf18ab9fb0167commit | diff
If --cfg=model-check:2 was passed, use a DFS exploration.

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