Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
one set of macros for min/max is enough
[simgrid.git] / examples / msg / mc / bugged2.c
index a0376a8..4cda68c 100644 (file)
@@ -36,7 +36,7 @@ int server(int argc, char *argv[])
   task2 = NULL;
   XBT_INFO("Received %lu", val2);
 
-  MC_assert(min(val1, val2) == 1);
+  MC_assert(MIN(val1, val2) == 1);
 
   MSG_task_receive(&task1, "mymailbox");
   val1 = xbt_str_parse_int(MSG_task_get_name(task1), "Task name is not a numerical ID: %s");