[tor-bugs] #18737 [Tor]: Use coverage-enabled tor-gencert when using coverage option

[Tor Bug Tracker & Wiki]

#18737: Use coverage-enabled tor-gencert when using coverage option
-----------------------------+-----------------------------
     Reporter:  cypherpunks  |      Owner:
         Type:  defect       |     Status:  new
     Priority:  Low          |  Milestone:  Tor: 0.2.???
    Component:  Tor          |    Version:  Tor: 0.2.7.3-rc
     Severity:  Minor        |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |   Reviewer:
      Sponsor:               |
-----------------------------+-----------------------------
 The test-network script has support for coverage-enabled binaries with the
 `--coverage` option which was added in commit
 62e6513b48009adba289243155b93da3212c00c2. This option does not enable the
 use of tor-cov-gencert so it always uses the non-coverage build of tor-
 gencert.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18737>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online