*
* This is a path as generated by `MC_record_stack_to_string()`.
*/
-extern char* MC_record_path;
+XBT_PUBLIC_DATA(char*) MC_record_path;
/** Whether the replay mode is enabled */
static inline bool MC_record_replay_is_active(void) {
// Use rejection in order to avoid skew
long x;
do {
+#ifndef _XBT_WIN32
x = random();
+#else
+ x = rand();
+#endif
} while( x >= accept_size );
return min + (x % output_size);
}
#include <simgrid/simix.h>
#include "simgrid_config.h"
-
+#include "internal_config.h"
#include "../simix/smx_private.h"
SG_BEGIN_DECL()
/* 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. */
+
+#ifndef _XBT_WIN32
#include <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>
#define UNW_LOCAL_ONLY
#include <libunwind.h>
+#endif
#include "simgrid/sg_config.h"
#include "../surf/surf_private.h"