#include "surf_private.h"
#include "xbt/module.h"
+#include "mc/mc.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_kernel, surf,
"Logging specific to SURF (kernel)");
#endif
}
-static double NOW = 0;
+double NOW = 0;
xbt_dynar_t model_list = NULL;
tmgr_history_t history = NULL;
void surf_init(int *argc, char **argv)
{
+
+ if (_surf_do_model_check)
+ MC_memory_init();
+
/* Connect our log channels: that must be done manually under windows */
XBT_LOG_CONNECT(surf_cpu, surf);
XBT_LOG_CONNECT(surf_kernel, surf);
surf_parse_free_callbacks();
xbt_dict_free(&route_table);
NOW = 0; /* Just in case the user plans to restart the simulation afterward */
- xbt_exit();
}
void surf_presolve(void)