-/* $Id$ */
-
-/* Copyright (c) 2004 Arnaud Legrand. All rights reserved. */
+/* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#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;
#endif
void surf_init(int *argc, char **argv)
-{
+{
/* Connect our log channels: that must be done manually under windows */
XBT_LOG_CONNECT(surf_cpu, surf);
XBT_LOG_CONNECT(surf_kernel, surf);
history = tmgr_history_new();
surf_config_init(argc, argv);
+#ifdef HAVE_MC
+ if (_surf_do_model_check)
+ MC_memory_init();
+#endif
}
#ifdef WIN32
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)