File collisions in coverage report html

Issue #584 closed
Arthur Goldberg
created an issue

The filename map can create collisions. See the screenshot. coverage_colliding_files.png

In the example, an attempt to view "wc_sim/bug/a/" actually views "wc_sim/bug/a_b/".

To resolve this, instead of replacing directory separators with '_', use a perfect hash to generate a unique integer for each module. The pathname to the module can be appended to the perfect hash if it is important to see the pathname in the html filename.


Comments (2)

  1. Log in to comment