#include <simgrid/modelchecker.h>
#include <cerrno>
+#include <cstdio> // setvbuf
#include <cstdlib>
#include <cstring>
#include <memory>
_sg_do_model_check = 1;
+ setvbuf(stdout, nullptr, _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'");