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.
Actions