Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4197923) | patch
Consider the value of the cfg=model-checker flag
authorthiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 15 Feb 2011 10:01:50 +0000 (10:01 +0000)
committerthiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 15 Feb 2011 10:01:50 +0000 (10:01 +0000)
commit44c97ec3c59d9ac2cfca8cf5911531421dae439b
tree0ec3e076f9838e2eff25cfb277947954b4aeb296tree | snapshot
parent41979235d361aa38c8ce15449cb719191c9f0fd6commit | diff
Consider the value of the cfg=model-checker flag

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