#include "mc_private.h"
#include "mc_ignore.h"
#include "mcer_ignore.h"
+#include "mc_exit.h"
using simgrid::mc::remote;
void s_mc_server::resume(mc_process_t process)
{
- int socket = process->socket;
- int res = MC_protocol_send_simple_message(socket, MC_MESSAGE_CONTINUE);
+ int res = process->send_message(MC_MESSAGE_CONTINUE);
if (res)
throw std::system_error(res, std::system_category());
process->cache_flags = (mc_process_cache_flags_t) 0;
case MC_MESSAGE_ASSERTION_FAILED:
MC_report_assertion_error();
- xbt_abort();
+ ::exit(SIMGRID_EXIT_SAFETY);
break;
default:
m.type = MC_MESSAGE_SIMCALL_HANDLE;
m.pid = pid;
m.value = value;
- MC_protocol_send(mc_model_checker->process().socket, &m, sizeof(m));
+ mc_model_checker->process().send_message(m);
process->cache_flags = (mc_process_cache_flags_t) 0;
while (mc_model_checker->process().running()) {
if (!mc_server->handle_events())