[tor-bugs] #11145 [Core Tor/Tor]: coverage utility should merge multiple output files
Tor Bug Tracker & Wiki
blackhole at torproject.org
Fri Jun 5 16:59:59 UTC 2020
#11145: coverage utility should merge multiple output files
-------------------------------------------------+-------------------------
Reporter: nickm | Owner: (none)
Type: defect | Status: closed
Priority: Very Low | Milestone: Tor:
| unspecified
Component: Core Tor/Tor | Version: Tor:
| 0.2.7
Severity: Normal | Resolution: wontfix
Keywords: tor-client, coverage, tools, | Actual Points:
testing, SponsorS-deferred |
Parent ID: | Points: small
Reviewer: | Sponsor:
-------------------------------------------------+-------------------------
Changes (by nickm):
* status: new => closed
* resolution: => wontfix
Comment:
We now use coveralls for this, and it seems to work well.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/11145#comment:18>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list