summary refs log tree commit diff
path: root/src/tools/coverage-dump
AgeCommit message (Expand)AuthorLines
2024-02-08Step all bootstrap cfgs forwardMark Rousskov-1/+1
2023-09-05Add tool `src/tools/coverage-dump` for use by some new coverage testsZalathar-0/+540