[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Fingerprint Collision
I've read this thread and the referenced older thread, including this description: "Deciding if the hash collision probability is sufficiently low requires
however I still was wondering:
When should we try to judge about the notification of Fingerprint collision probability ? Is there any case where it indicates a problem with our TLA+ Spec?
Currently, my spec running TLC model checker shows: "Fingerprint collision probability: calculated: 7.0E-14" , I don't know if it's something I should fix with my spec.
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAEjGaqfFofphCk3ZLLMekyWzYSiTFc2xK_tzCEQVkEj_pkv51w%40mail.gmail.com.