/* 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 <functional>
+
#include "src/mc/mc_replay.h"
#include "smx_private.h"
#include "src/mc/mc_forward.h"
return simcall_BODY_storage_get_content(storage);
}
-
+void simcall_run_kernel(std::function<void()> const& code)
+{
+ return simcall_BODY_run_kernel((void*) &code);
+}
#ifdef HAVE_MC
}
int simcall_mc_compare_snapshots(void *s1, void *s2) {
- return simcall_BODY_mc_compare_snapshots(s1, s2);
+ return simcall_BODY_mc_compare_snapshots((simgrid::mc::Snapshot*)s1, (simgrid::mc::Snapshot*)s2);
}
#endif /* HAVE_MC */