Open mernst opened 5 years ago
@mernst could you please check if the problem still exists? If yes, could you please provide a little more context, in particular a sample project (it is not clear to me what Randoop means?).
OK, I see the context in #273
When I run
./gradlew htmlSanityCheck
on Randoop, the HTML file titled "HTML Sanity Check Results" at${buildDir}/reports/htmlSanityCheck/index.html
contains duplicate labels.For example, there are two
indexXhtml
labels.A related problem is that the report lists two files (from different directories) as "index.html". It's confusing which one is which, and confusing when clicking on the second one (in which htmlSanityCheck reports a problem) leads to the detailed report about the first one (which has no problem). It might be good to differentiate files of the same name in the report.