+static void test_reset_heap(xbt_heap_t * heap, int size)
+{
+ xbt_heap_free(*heap);
+ *heap = xbt_heap_new(size, NULL);
+
+ for (int i = 0; i < size; i++) {
+ xbt_heap_push(*heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));
+ }
+}
+
+static void test_heap_validity(int size)