#include "simgrid/forward.h"
#include "src/mc/ModelChecker.hpp"
+#include "src/mc/remote/RemotePtr.hpp"
#include <functional>
void close();
void take_initial_snapshot();
- void execute(Transition const& transition) const;
void log_state() const;
void restore_initial_state() const;