+
+ if (_sg_mc_comms_determinism || _sg_mc_send_determinism) {
+ mc_server->loop();
+ }
+
+ else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0') {
+ if (mc_reduce_kind == e_mc_reduce_unset)
+ mc_reduce_kind = e_mc_reduce_dpor;
+ XBT_INFO("Check a safety property");
+ MC_wait_for_requests();
+ MC_modelcheck_safety();
+ }
+
+ else {
+ mc_server->loop();
+ }
+