+/* Copyright (c) 2008-2012 Da 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 <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <sys/time.h>
#include "../surf/surf_private.h"
-#include "../simix/private.h"
+#include "../simix/smx_private.h"
#include "xbt/fifo.h"
-#include "private.h"
+#include "mc_private.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc,
SIMIX_process_runall();
xbt_dynar_foreach(simix_global->process_that_ran, iter, process) {
req = &process->simcall;
- if (req->call != REQ_NO_REQ && !MC_request_is_visible(req))
+ if (req->call != SIMCALL_NONE && !MC_request_is_visible(req))
SIMIX_simcall_pre(req, 0);
}
}
if(xbt_swag_size(simix_global->process_list)){
deadlock = TRUE;
xbt_swag_foreach(process, simix_global->process_list){
- if(process->simcall.call != REQ_NO_REQ
+ if(process->simcall.call != SIMCALL_NONE
&& MC_request_is_enabled(&process->simcall)){
deadlock = FALSE;
break;