[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Disabled actions for one or more modules
thanks for your feedback.
Unfortunately, no yellow indicators found neither in the specification nor in the statistics sections.
Some properties defined in the spec were not verified i.e. not added in the Invariant section (because I did not want them to be verified). Finally, I've added some of them (not all of them) and I don't have any warning message anymore.
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/CAMCHOhN43%2B%3DGym%3DejZjdy7oc4VLf9aoyAYp2U_fJ0-pB9ZwxoA%40mail.gmail.com.