Skip to content

Make benchmark printer and runner correctly deal with 0 time #470

Merged
PragTob merged 3 commits intomainfrom
timing
May 4, 2025
Merged

Make benchmark printer and runner correctly deal with 0 time #470
PragTob merged 3 commits intomainfrom
timing

Commits

Commits on May 4, 2025