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.
Markus
--
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.