If it is a true collision, then interestingly, ExecutionDataStore could relatively easily use [name,CRC] as the key rather than just CRC, which would make such a collision even less likely. The only real issue is the ExecutionDataStore.get(long) method, which could be deprecated and reimplemented to throw IllegalStateException if there is a conflict, and a new get(long,String) could be added.
-- You received this message because you are subscribed to the Google Groups "JaCoCo and EclEmma Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jacoco/9a3c928e-aa31-4171-8753-f4caedebfea2%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
