-/* Copyright (c) 2019-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2019-2023. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
pos = sg_exec_wait_any(pending_execs, pending_execs_count);
if (pos < 0) {
- XBT_INFO("Do not wait any longer for an activity");
+ XBT_INFO("Do not wait any longer for an activity (timeout received)");
pending_execs_count = 0;
} else {
XBT_INFO("Activity at position %zd is complete", pos);
XBT_INFO("%d activities remain pending", pending_execs_count);
}
- free(pending_execs);
+ xbt_free(pending_execs);
}
int main(int argc, char* argv[])