SIMIX_display_process_status();
}
else {
- XBT_INFO("CTRL-C pressed. bailing out without displaying because verbose-exit disabled");
+ XBT_INFO("CTRL-C pressed. bailing out without displaying because verbose-exit is disabled");
}
exit(1);
}
SIMIX_network_exit();
xbt_heap_free(simix_timers);
+ simix_timers = NULL;
/* Free the remaining data structures */
xbt_dynar_free(&simix_global->process_to_run);
xbt_dynar_free(&simix_global->process_that_ran);