- int nbAlice = 0;
- aliceTimes[nbAlice++] = xbt_strdup("0");
- aliceTimes[nbAlice++] = xbt_strdup("1");
- aliceTimes[nbAlice++] = xbt_strdup("3");
- aliceTimes[nbAlice++] = xbt_strdup("5");
- aliceTimes[nbAlice++] = xbt_strdup("1");
- aliceTimes[nbAlice++] = xbt_strdup("2");
- aliceTimes[nbAlice++] = xbt_strdup("5");
- aliceTimes[nbAlice++] = xbt_strdup("0");
- aliceTimes[nbAlice++] = NULL;
+ aliceTimes[0] = xbt_strdup("0");
+ aliceTimes[1] = xbt_strdup("1");
+ aliceTimes[2] = xbt_strdup("3");
+ aliceTimes[3] = xbt_strdup("5");
+ aliceTimes[4] = xbt_strdup("1");
+ aliceTimes[5] = xbt_strdup("2");
+ aliceTimes[6] = xbt_strdup("5");
+ aliceTimes[7] = xbt_strdup("0");
+ aliceTimes[8] = NULL;