- date = us_time();
- for(i=0; i<size; i++)
- xbt_heap_push(heap, NULL, (10.0*rand()/(RAND_MAX+1.0)));
- date = us_time()-date;
- printf("Creation time %d size heap : %g\n", size, 0.0+date);
+ date = gras_os_time() * 1000000;
+ for (i = 0; i < size; i++)
+ xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));
+ date = gras_os_time() * 1000000 - date;
+ printf("Creation time %d size heap : %lg\n", size, date);