lean-bench

5.9. Acceptance criteria status🔗

  • Users can invoke benchmarks in profiler-friendly mode without custom shell glue: lake exe bench profile NAME --profiler "...".

  • Documentation includes at least one end-to-end profiling workflow: this page documents four (perf stat, perf record, samply, /usr/bin/time -v + heaptrack).

  • The feature does not distort ordinary benchmark mode behavior: profile is a separate subcommand that imports LeanBench.Profile; nothing in LeanBench.Run / LeanBench.Stats / LeanBench.Compare changed. run / compare / verify measurement paths are byte-for-byte unchanged.