This reverts commit
db3df03114cb65a9c27c2c1dfd6faf964b571254.
The following tests are broken (timeout): mc-bugged1-liveness-visited-ucontext,
mc-bugged1-liveness-visited-ucontext-sparse and mc-umpire-comm-dup-no-free2.
To reproduce, it seems that compile_optimizations should be disabled.
#include <sys/socket.h>
#include <sys/types.h>
#include <sys/socket.h>
#include <sys/types.h>
-#include <xbt/coverage.h>
#include <xbt/log.h>
#include <xbt/mmalloc.h>
#include <xbt/sysdep.h>
#include <xbt/log.h>
#include <xbt/mmalloc.h>
#include <xbt/sysdep.h>
simgrid::mc::wait_for_requests();
xbt_assert(channel_.send(MC_MESSAGE_WAITING) == 0, "Could not send WAITING message to model-checker");
this->handleMessages();
simgrid::mc::wait_for_requests();
xbt_assert(channel_.send(MC_MESSAGE_WAITING) == 0, "Could not send WAITING message to model-checker");
this->handleMessages();