mirrors/arti.git/maint/with_coverage.sh, branch arti-v0.0.3 mirror of https://gitlab.torproject.org/tpo/core/arti http://git.dilluti0n.com/mirrors/arti.git/atom?h=arti-v0.0.3 2021-12-21T17:29:40Z Exclude arti-bench from coverage. 2021-12-21T17:29:40Z Nick Mathewson nickm@torproject.org 2021-12-21T17:29:40Z urn:sha1:3f85e69a761a5924546bbbab2a09958041e005b5 This program is itself for testing; we don't strongly care how much coverage it has on its own. Postprocess coverage index.html with python instead 2021-12-01T17:02:53Z Nick Mathewson nickm@torproject.org 2021-12-01T17:02:53Z urn:sha1:14eeff00ef6b98b12e7a09cef4480b9800dae39e 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. with_coverage: port to work with mawk 2021-11-24T17:55:38Z Nick Mathewson nickm@torproject.org 2021-11-24T17:55:38Z urn:sha1:eac440010d2227300e3ff9ff143cb7871b83a254 The syntax is kinda minimal, but it seems to work okay. with_coverage: detect missing llvm-tools-preview 2021-11-24T17:33:31Z Nick Mathewson nickm@torproject.org 2021-11-24T17:33:31Z urn:sha1:af60e0bc46ee80eeb19991921a6fa5ca85c66c3a Applies a suggestion from @trinity-1686a with_coverage: include command log in index.html 2021-11-23T22:09:27Z Nick Mathewson nickm@torproject.org 2021-11-23T22:05:53Z urn:sha1:fac2be67839a5688c16badab7285c68d0b9b6052 This is a slight kludge, but it helps a lot to keep track of what exactly was tested for coverage. with_coverage: Add flags to accumulate data over runs (or not) 2021-11-23T21:48:45Z Nick Mathewson nickm@torproject.org 2021-11-23T21:48:45Z urn:sha1:b6cefc14e888f8348ba9158cc72e21ff0ec449b5 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.) with_coverage: Don't try to delete absent directories 2021-11-23T21:41:22Z Nick Mathewson nickm@torproject.org 2021-11-23T21:41:22Z urn:sha1:2a3717ef73a4480629aa759366be89f8d06c0b8b If the directories are absent, then deleting them gives you a line in stderr, even if you do "rm -f foo || true". Let with_coverage take command-line flags. 2021-11-23T21:37:59Z Nick Mathewson nickm@torproject.org 2021-11-23T21:37:59Z urn:sha1:9c040e85b49521df527ccd56e67e1868ca9dda6d 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. with_coverage: Wipe coverage_meta at the start of each run. 2021-11-23T21:03:02Z Nick Mathewson nickm@torproject.org 2021-11-23T21:03:02Z urn:sha1:5bd841003db85b88d8c8e11f322dbc5c4e7a3688 Also improve comments and stdout slightly... Add usage string from commit message to with_coverage. 2021-11-23T14:04:59Z Nick Mathewson nickm@torproject.org 2021-11-23T14:03:20Z urn:sha1:9e617fac4319cd489f03fcf47ae8aa32eb59feb6