#include <xbt/base.h>
#include <sys/types.h>
-#include "mc_forward.hpp"
+#include "src/mc/mc_forward.hpp"
#include "src/mc/Process.hpp"
#include "src/mc/PageStore.hpp"
-#include "mc_protocol.h"
+#include "src/mc/mc_protocol.h"
namespace simgrid {
namespace mc {
bool handle_events();
void wait_client(simgrid::mc::Process& process);
void simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value);
+ void wait_for_requests()
+ {
+ mc_model_checker->wait_client(mc_model_checker->process());
+ }
private:
void setup_ignore();
bool handle_message(char* buffer, ssize_t size);