_mc_property_automaton = xbt_automaton_new();
simgrid::mc::Process* process = &this->process();
- simgrid::mc::remote_ptr<int> address
+ simgrid::mc::RemotePtr<int> address
= simgrid::mc::remote((int*) message.data);
simgrid::xbt::add_proposition(_mc_property_automaton,
message.name,
case EINTR:
continue;
default:
- throw simgrid::mc::errno_error(errno);
+ throw simgrid::xbt::errno_error(errno);
}
}
if (socket_pollfd->revents & POLLIN) {
ssize_t size = MC_receive_message(socket_pollfd->fd, buffer, sizeof(buffer), MSG_DONTWAIT);
if (size == -1 && errno != EAGAIN)
- throw simgrid::mc::errno_error(errno);
+ throw simgrid::xbt::errno_error(errno);
return handle_message(buffer, size);
}
- if (socket_pollfd->revents & POLLERR) {
+ if (socket_pollfd->revents & POLLERR)
throw_socket_error(socket_pollfd->fd);
- }
if (socket_pollfd->revents & POLLHUP)
xbt_die("Socket hang up?");
}
this->handle_signals();
return true;
}
- if (signalfd_pollfd->revents & POLLERR) {
+ if (signalfd_pollfd->revents & POLLERR)
throw_socket_error(signalfd_pollfd->fd);
- }
if (signalfd_pollfd->revents & POLLHUP)
xbt_die("Signalfd hang up?");
}
if (errno == EINTR)
continue;
else
- throw simgrid::mc::errno_error(errno);
+ throw simgrid::xbt::errno_error(errno);
} else if (size != sizeof(info))
return throw std::runtime_error(
"Bad communication with model-checked application");
break;
} else {
XBT_ERROR("Could not wait for pid");
- throw simgrid::mc::errno_error(errno);
+ throw simgrid::xbt::errno_error(errno);
}
}
void ModelChecker::wait_client(simgrid::mc::Process& process)
{
this->resume(process);
- while (this->process().running()) {
+ while (this->process().running())
if (!this->handle_events())
return;
- }
}
void ModelChecker::simcall_handle(simgrid::mc::Process& process, unsigned long pid, int value)
m.value = value;
process.send_message(m);
process.cache_flags = (mc_process_cache_flags_t) 0;
- while (process.running()) {
+ while (process.running())
if (!this->handle_events())
return;
- }
}
}