diff options
Diffstat (limited to 'lib/Camlcoq.ml')
-rw-r--r-- | lib/Camlcoq.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml index c7abdccd..436583f1 100644 --- a/lib/Camlcoq.ml +++ b/lib/Camlcoq.ml @@ -127,3 +127,13 @@ let print_timers () = let _ = at_exit print_timers *) + +(* Heap profiling facility *) + +(* +let heap_info msg = + Gc.full_major(); + let s = Gc.stat() in + Printf.printf "%s: size %d live %d\n " msg s.Gc.heap_words s.Gc.live_words; + flush stdout +*) |