summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
03bfc3f)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6766
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
char *description = xbt_malloc(1024), *p = description;
char *default_value;
int default_value_int;
char *description = xbt_malloc(1024), *p = description;
char *default_value;
int default_value_int;
- int default_value_int_seed;
int i;
sprintf(description, "The model to use for the CPU. Possible values: ");
int i;
sprintf(description, "The model to use for the CPU. Possible values: ");
NULL, 1, 1, _surf_cfg_cb__gtnets_jitter, NULL);
xbt_cfg_set_double(_surf_cfg_set, "gtnets_jitter", 0.0);
NULL, 1, 1, _surf_cfg_cb__gtnets_jitter, NULL);
xbt_cfg_set_double(_surf_cfg_set, "gtnets_jitter", 0.0);
- default_value_int_seed = 10;
+ default_value_int = 10;
xbt_cfg_register(&_surf_cfg_set, "gtnets_jitter_seed",
"Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
xbt_cfg_register(&_surf_cfg_set, "gtnets_jitter_seed",
"Use a positive seed to reproduce jitted results, value must be in [1,1e8], default is 10",
- xbt_cfgelm_int, &default_value_int_seed, 0, 1, _surf_cfg_cb__gtnets_jitter_seed, NULL);
+ xbt_cfgelm_int, &default_value_int, 0, 1, _surf_cfg_cb__gtnets_jitter_seed, NULL);