msg_sem_t sem;
static int peer(int argc, char* argv[]){
- int i = 0;
+ int i = 0;
while(i < argc) {
double wait_time = xbt_str_parse_double(argv[i],"Invalid wait time: %s");
i++;
MSG_process_create_with_arguments("Bob", peer, NULL, h, 8, bobTimes);
msg_error_t res = MSG_main();
+ MSG_sem_destroy(sem);
XBT_INFO("Finished\n");
return (res != MSG_OK);
}