[tor-bugs] #9267 [Tor]: Usability tweaks for code coverage

[Tor Bug Tracker & Wiki]

#9267: Usability tweaks for code coverage
-----------------------------+--------------------------------
     Reporter:  andrea       |      Owner:
         Type:  defect       |     Status:  closed
     Priority:  minor        |  Milestone:  Tor: 0.2.5.x-final
    Component:  Tor          |    Version:
   Resolution:  implemented  |   Keywords:  tor-client testing
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+--------------------------------

Comment (by nickm):

 Added the new tickets as #11145 and #11146

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