Skip to content

UX improvements to with_coverage script

Nick Mathewson requested to merge nickm/arti:coverage-ux into main

This branch has some UX improvements for the new with_coverage script:

  • Wipe coverage_meta at the start of each run (by default)
  • Let with_coverage take command-line flags
  • Don't try to delete absent directories
  • Add flags to accumulate data over runs (or not)
  • include command log in index.html

Merge request reports