Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b24e3ce) | patch
proper initilization of the model-check option
authorschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 9 Aug 2010 15:51:26 +0000 (15:51 +0000)
committerschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 9 Aug 2010 15:51:26 +0000 (15:51 +0000)
commitf3df88462bb896e6a08c6b1ba8022d850162bb43
tree2a5d3d88cde564af095d0998a6bbef0c8ee9918dtree | snapshot
parentb24e3ced733a04e94b8045ddc66a8bcae0b69422commit | diff
proper initilization of the model-check option

details:
- arnaud's modification

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