Zalathar a573880373 coverage: Rename the run-coverage test mode to coverage-run ... This makes it more consistent with the `coverage-map` mode and the shared `tests/coverage` test directory.		2023-11-08 16:41:24 +11:00
..
auxiliary
doctest.coverage
doctest.rs