+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)));
+ }
+
+}
+
+#ifdef __BORLANDC__
+#pragma argsused
+#endif
+