Closed woodruffw closed 6 years ago
I implemented this using a new server event (EVT_COVERAGE_INFO
), meaning that clients that want to get code coverage metrics for an arena will need to connect to the server directly and issue that event. As such, the GUI (and/or harness) will probably need to open a server connection in order to expose this to the user.
Closes #211.