_sg_do_model_check = 1;
+ setvbuf(stdout, NULL, _IOLBF, 0);
+
// Fetch socket from MC_ENV_SOCKET_FD:
const char* fd_env = std::getenv(MC_ENV_SOCKET_FD);
int fd = xbt_str_parse_int(fd_env, "Variable '" MC_ENV_SOCKET_FD "' should contain a number but contains '%s'");
coverage_checkpoint();
xbt_assert(channel_.send(MessageType::DEADLOCK_CHECK_REPLY) == 0, // DEADLOCK_CHECK_REPLY, really?
"Could not answer to FINALIZE");
+ std::fflush(stdout);
if (terminate_asap)
::_Exit(0);
break;