static int do_parent(int socket, pid_t child)
{
XBT_DEBUG("Inside the parent process");
static int do_parent(int socket, pid_t child)
{
XBT_DEBUG("Inside the parent process");
- simgrid::mc::server = new simgrid::mc::Server(child, socket);
- simgrid::mc::server->start();
+ mc_model_checker = new simgrid::mc::ModelChecker(child, socket);
+ mc_model_checker->start();