[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Deferring verification of temporal properties

On 12.02.21 15:45, Isaac DeFrain wrote:
In addition, I enabled this feature in the toolbox and generated the corresponding MC.cfg and MC.tla files, but they are identical to those generated before enabling this option.

https://lamport.azurewebsites.net/tla/current-tools.pdf explains TLC's "-lncheck" parameter.


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/1f4001a0-06c2-60a7-2707-3026c59c2593%40lemmster.de.