tools: Change coverage tool to work with '.coverage' file.

- Was generating coverage by running a corresponding test file
  for the current file.  Wasn't obvious where test file was.
- This shows coverage if a .coverage file exists which is newer
  than the current file.
- The .coverage file needs to be created independantly. And then
  the reports can be refreshed.
This commit is contained in:
Andrew Hamilton 2019-09-09 12:20:56 +10:00
parent 6fdbfc16c7
commit 3dfb81563c
3 changed files with 18 additions and 31 deletions

View file

@ -1,5 +0,0 @@

> def hi():
> print("hi")