I am trying to profile OCaml code extracted from Coq and hitting this dune limitation https://github.com/ocaml/dune/issues/6568 I filed an issue which may take some time to resolve. Meanwhile, I am looking for a workaround to profile code now.
Last updated: Mar 28 2024 at 16:02 UTC