+ xbt_heap_push(heap, NULL, 3.0 * val);
+ }
+ date = gras_os_time() * 1000000 - date;
+ printf("Mean access time for a %d size heap : %g\n", size,
+ date * 1.0 / (MAX_TEST + 0.0));
+
+ xbt_heap_free(heap);
+}
+
+void test_reset_heap(xbt_heap_t heap,int size)
+{
+ int i;
+ xbt_heap_free(heap);
+ heap = xbt_heap_new(size, NULL);
+
+ for (i = 0; i < size; i++){
+ xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));