Commits


xdje42 authored and GitHub committed 7c8ed6b082a
[FR] Add API to provide custom profilers #1807 (#1809) This API is akin to the MemoryManager API and lets tools provide their own profiler which is wrapped in the same way MemoryManager is wrapped. Namely, the profiler provides Start/Stop methods that are called at the start/end of running the benchmark in a separate pass. Co-authored-by: dominic <510002+dmah42@users.noreply.github.com>