Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Do not call xbt_cfg_set_int on the model-check option, it won't set it's value to...
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 7 Sep 2010 06:48:39 +0000 (06:48 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 7 Sep 2010 06:48:39 +0000 (06:48 +0000)
commitfb93ded98f9fd09dab3dce296daa2aa9f4a39033
treecab56c5425270e60ac8363f005969e7858968ea5
parent4c48bd895304f134d21a2f3a4eeb999a316463c6
Do not call xbt_cfg_set_int on the model-check option, it won't set it's value to the default one.

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