-void gras_chrono_init(void)
-{
- if(!benchmark_set) {
- benchmark_set = xbt_dict_new();
- timer = xbt_os_timer_new();
- }
-}
-
-void gras_chrono_exit(void) {
- if (locbuf) free(locbuf);
- xbt_dict_free(&benchmark_set);
- xbt_os_timer_free(timer);
-}