/* callback to decide if we want to use the model-checking */
#include "xbt_modinter.h"
-int _surf_do_model_check = 0; /* this variable is used accros the lib */
+extern int _surf_do_model_check; /* this variable lives in xbt_main until I find a right location for it */
static void _surf_cfg_cb_model_check(const char *name, int pos)
{
default_value_int = 0;
xbt_cfg_register(&_surf_cfg_set, "fullduplex",
- "Update the constraint set propagating recursively to others constraints",
+ "Activate the interferences between uploads and downloads for fluid max-min models (LV08, CM03)",
xbt_cfgelm_int, &default_value_int, 0, 1,
_surf_cfg_cb__surf_network_fullduplex, NULL);
xbt_cfg_set_int(_surf_cfg_set, "fullduplex", default_value_int);