Merge branch 'master' into mc-process

[simgrid.git] / src / mc / mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 8be4044..8505daf 100644 (file)
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -181,8 +181,6 @@ static void MC_pre_modelcheck_liveness(void)
   mc_pair_t initial_pair = NULL;
   smx_process_t process;
 
-  // TODO, fix this
-  MC_wait_for_requests();
   MC_wait_for_requests();
 
   MC_SET_MC_HEAP;
@@ -406,7 +404,6 @@ static void MC_modelcheck_liveness_main(void)
 void MC_modelcheck_liveness(void)
 {
   XBT_DEBUG("Starting the liveness algorithm");
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   _sg_mc_liveness = 1;
 
   xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);