char *xbt_binary_name = NULL; /* Mandatory to retrieve neat backtraces */
int xbt_initialized = 0;
-int _surf_do_model_check = 0; /* this variable is used accros the libraries, and must be declared in XBT so that it's also defined in GRAS (not only in libsimgrid) */
+int _surf_do_model_check = 0;
+int _surf_mc_checkpoint=0;
+char* _surf_mc_property_file=NULL;
/* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
* This is crude and rather compiler-specific, unfortunately.
LPVOID lpvReserved)
{
if (fdwReason == DLL_PROCESS_ATTACH
- && xbt_dll_process_is_attached == 0) {
- xbt_dll_process_is_attached = 1;
- xbt_preinit();
+ && xbt_dll_process_is_attached == 0) {
+ xbt_dll_process_is_attached = 1;
+ xbt_preinit();
} else if (fdwReason == DLL_PROCESS_DETACH
- && xbt_dll_process_is_attached == 1) {
- xbt_dll_process_is_attached = 0;
+ && xbt_dll_process_is_attached == 1) {
+ xbt_dll_process_is_attached = 0;
xbt_postexit();
}
return 1;