#define SIMGRID_MC_STATE_H
#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <simgrid_config.h>
-#include "../simix/smx_private.h"
-#include "mc_snapshot.h"
+#include "src/simix/smx_private.h"
+#include "src/mc/mc_snapshot.h"
SG_BEGIN_DECL()
s_smx_simcall_t executed_req; /* The executed request of the state */
int req_num; /* The request number (in the case of a
multi-request like waitany ) */
- mc_snapshot_t system_state; /* Snapshot of system state */
+ simgrid::mc::Snapshot* system_state; /* Snapshot of system state */
int num;
int in_visited_states;
// comm determinism verification (xbt_dynar_t<xbt_dynar_t<mc_comm_pattern_t>):