Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Functionality: implement 'genhtml --select-script ..' callback to
select subset of coverpoints to show in HTML report. The expected use case is code review, when we want to show only the changes caused by a particular commit or set of commits - say, to show the new code as well as any coverage gains or losses outside of the code change. See the '--select-script' section of the genhtml man page, as well as the 'review' section in the 'example' directory. Also modify report generation to indicate regions where baseline code has been deleted. These are show with grey background entries in the 'line number' column of the source detail window. If the mouse hovers over the grey area, a tooltip will appear to summarize the extent of the deletion. Signed-off-by: Henry Cox <[email protected]>
- Loading branch information