#include "xbt/log.h"
#include "xbt/mallocator.h"
#include "xbt/str.h"
-#include "surf/surf_private.h"
-#include "surf/surf_routing.h" /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */
+#include "xbt/lib.h"
+#include "xbt/sysdep.h"
+#include "surf/surf.h"
+#include "surf/maxmin.h"
+#include "instr/instr_interface.h"
#include "simgrid/simix.h"
#include "simgrid/sg_config.h"
#include "mc/mc.h"
xbt_cfg_t _sg_cfg_set = NULL;
-int _sg_do_model_check = 0;
-int _surf_mc_checkpoint=0;
-char* _surf_mc_property_file=NULL;
-int _surf_mc_timeout=0;
-int _surf_mc_max_depth=1000;
-int _surf_mc_visited=0;
-
int _sg_init_status = 0; /* 0: beginning of time (config cannot be changed yet);
1: initialized: cfg_set created (config can now be changed);
2: configured: command line parsed and config part of platform file was integrated also, platform construction ongoing or done.
}
}
-static void _sg_cfg_cb_surf_nthreads(const char *name, int pos)
-{
- surf_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
-}
-
static void _sg_cfg_cb__surf_network_coordinates(const char *name,
int pos)
{
}
}
+static void _sg_cfg_cb_surf_nthreads(const char *name, int pos)
+{
+ surf_set_nthreads(xbt_cfg_get_int(_sg_cfg_set, name));
+}
+
static void _sg_cfg_cb__surf_network_crosstraffic(const char *name,
int pos)
{