#include <xbt/log.h>
-#include "simix/smx_private.h"
+#include "src/simix/smx_private.h"
-#include "mc_smx.h"
+#include "src/mc/mc_smx.h"
#include "ModelChecker.hpp"
using simgrid::mc::remote;
simgrid::mc::Process* process = &mc_model_checker->process();
+ // FIXME, simgrid::Host
// Currently, smx_host_t = xbt_dictelm_t.
// TODO, add an static_assert on this if switching to C++
// The host name is host->key and the host->key_len==strlen(host->key).