Summary When reviewing the annotation output generated by verilator_coverage with the --annotate-points option, it is sometimes possible to infer whether the reported coverage is line, branch, expr...