summaryrefslogtreecommitdiff
path: root/coveragetool
AgeCommit message (Expand)Author
2022-04-09coveragetool: make options more standardKent Overstreet
2022-04-09Switch to #!/usr/bin/env bashKent Overstreet
2019-10-21assorted 2019 updatesKent Overstreet
2015-01-14coveragetool was losing dataSlava Pestov
2014-10-20Split off coveragetool from ktestSlava Pestov