int MC_random(int min, int max)
{
+#if HAVE_MC
xbt_assert(mc_model_checker == nullptr);
/* TODO, if the MC is disabled we do not really need to make a simcall for
* this :) */
+#endif
return simcall_mc_random(min, max);
}
void wait_for_requests(void)
{
+#if HAVE_MC
xbt_assert(mc_model_checker == nullptr);
+#endif
smx_process_t process;
smx_simcall_t req;