Actions
Feature #9454
closedVisualize code coverage in a new format
Start date:
01/25/2019
Due date:
07/02/2019
% Done:
100%
Estimated time:
Published in build:
Description
Core will provide code coverage in a new format soon. Bridge should process this.
In addition, to considerable optimization and simplification, this feature as well as #9453, will result in more useful code coverage representation since one will see code coverage not only for a given verification task or all verification tasks but for programs in general.
Besides, I suggest to show top-level statistics for code coverage at all places where Bridge present links to details on code coverage.
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9453: Generate code coverage in a new format added
Updated by Vladimir Gratinskiy almost 5 years ago
- Status changed from New to Open
- % Done changed from 0 to 50
Parialy implemented in bridge-3.0. Coverage is shown on unsafe page but without statistics. The thing is left is to add top level coverage statistics where it is needed.
Updated by Vladimir Gratinskiy almost 5 years ago
- Due date set to 07/02/2019
- Status changed from Open to Resolved
- % Done changed from 50 to 100
Added calculating and visualizing top level coverage statistics.
Actions