static void _surf_cfg_cb_context_stack_size(const char *name, int pos)
{
+ smx_context_stack_size_was_set = 1;
smx_context_stack_size = xbt_cfg_get_int(_surf_cfg_set, name) * 1024;
}
"Size of the biggest TCP window (cat /proc/sys/net/ipv4/tcp_[rw]mem for recv/send window; Use the last given value, which is the max window size)",
xbt_cfgelm_double, NULL, 1, 1,
_surf_cfg_cb__tcp_gamma, NULL);
- xbt_cfg_setdefault_double(_surf_cfg_set, "network/TCP_gamma", 20000.0);
+ xbt_cfg_setdefault_double(_surf_cfg_set, "network/TCP_gamma", 4194304.0);
xbt_cfg_register(&_surf_cfg_set, "maxmin/precision",
"Numerical precision used when updating simulation models (epsilon in double comparisons)",
_mc_cfg_cb_max_depth, NULL);
xbt_cfg_setdefault_int(_surf_cfg_set, "model-check/max_depth", 1000);
- /* Set number of visited state stored in stateful mode */
- xbt_cfg_register(&_surf_cfg_set, "model-check/stateful",
- "Specify the number of visited state stored in stateful mode. If value=5, the last 5 visited states are stored",
+ /* Set number of visited state stored for state comparison reduction*/
+ xbt_cfg_register(&_surf_cfg_set, "model-check/visited",
+ "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored",
xbt_cfgelm_int, NULL, 0, 1,
- _mc_cfg_cb_stateful, NULL);
- xbt_cfg_setdefault_int(_surf_cfg_set, "model-check/stateful", 0);
+ _mc_cfg_cb_visited, NULL);
+ xbt_cfg_setdefault_int(_surf_cfg_set, "model-check/visited", 0);
#endif
/* do verbose-exit */
surf_config_cmd_line(argc, argv);
+ xbt_mallocator_initialization_is_done();
+
} else {
XBT_WARN("Call to surf_config_init() after initialization ignored");
}