| 2 | | data. When we first wrote this coverage code, there was no such |
| 3 | | executable, so we had to use that bwverbose-coverage plugin (and several |
| 4 | | related ones), to execute the `coverage.start()` and `.stop()` calls at |
| 5 | | the right times. In general, it's awesome that the coverage tool is so |
| 6 | | much easier to use now. |
| | 2 | data. When we first wrote this coverage code, that executable wasn't so |
| | 3 | easy to use (or at least I couldn't figure out how to use it correctly), |
| | 4 | so we had to use that bwverbose-coverage plugin (and several related |
| | 5 | ones), to execute the `coverage.start()` and `.stop()` calls at the |
| | 6 | right times. In general, it's awesome that the coverage tool is so much |
| | 7 | easier to use now. |
