Module Gc.For_testing

measure_allocation f measures the words allocated by running f ()

is_zero_alloc f runs f () and returns true if it does not allocate, or false otherwise. is_zero_alloc does not allocate.

prepare_heap_to_count_minor_allocation sets up the heap so that one can subsequently measure minor allocation via:

let minor_words_before = Gc.minor_words () in
(* ... do stuff ... *)
let minor_words_after = Gc.minor_words () in
let minor_words_allocated = minor_words_after - minor_words_before in

Without calling prepare_heap_to_count_minor_allocation, the resulting count may be inaccurate.