--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/98f4860d-a8d4-a2fa-175d-c9a612de7b1c%40lemmster.de.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAKxfy0vS8yOGz_5dcqV%2B647_2uStSK4EnwpdB9yeOzHGyejAjw%40mail.gmail.com.
Hi Han,
A fingerprint collision probability of 7.0E-14 is a 0.000000000007% chance your spec had a hash collision. I'd say you're safe :)
H
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAEjGaqfFofphCk3ZLLMekyWzYSiTFc2xK_tzCEQVkEj_pkv51w%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/67a85530-5de3-8efb-0906-17e4051b36d5%40gmail.com.