| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
This program is itself for testing; we don't strongly care how much
coverage it has on its own.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
This change jettisons the awk and ed dependencies and instead uses a
real HTML parser, via the BeautifulSoup library in python.
Using BeautifulSoup lets us do trickier stuff, like actually
extracting the coverage totals and adding our own table, with
per-crate coverage.
The script only does this post-processing when it finds python3; the
script exits with an error if BeautifulSoup isn't installed.
|
| |
|
|
| |
The syntax is kinda minimal, but it seems to work okay.
|
| |
|
|
| |
Applies a suggestion from @trinity-1686a
|
| |
|
|
|
| |
This is a slight kludge, but it helps a lot to keep track of what
exactly was tested for coverage.
|
| |
|
|
|
|
|
|
| |
If the -c flag is provided, we _continue_ with the previous
consensus_meta data (without deleting it).
If the -s flag is provided, we _skip_ generating the final report
(since we're going to be doing more profiling.)
|
| |
|
|
|
| |
If the directories are absent, then deleting them gives you a line
in stderr, even if you do "rm -f foo || true".
|
| |
|
|
|
|
|
|
| |
Now the shell is controlled by the presence of an -i flag, and can
be combined with a command.
This commit also adds usage messages and better reports for a couple
of kinds of setup errors.
|
| |
|
|
| |
Also improve comments and stdout slightly...
|
| | |
|
|
|
usage: with_coverage <command> [args...]: run <command> with [args...]
with_coverage : run bash
|
