#include <stdio.h>
#include <mpi.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
int main(int argc, char **argv)
}
printf("recv_buff = %d\n", recv_buff);
+#ifdef HAVE_MC
MC_assert(recv_buff == size - 1);
+#endif
}else{
MPI_Send(&rank, 1, MPI_INT, 0, 42, MPI_COMM_WORLD);