[tlaplus] Fingerprint collision

[naveen reddy <pnreddy1245@xxxxxxxxx>]

Hello Team,

I have a specification and when I run the TLC the model stops with the notification of

"Fingerprint collision probability: calculated 1.2E-14.

How should I interpret this, does this mean my model is good to go or am I missing something. I did the research and read the home page where this was mentioned but wanted to seek clarity from the community.

Thanks

Naveen

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/39774466-334f-4273-9edf-921a123fd481n%40googlegroups.com.