[tlaplus] Re: Errors Reported by TLC

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

The -continue command-line flag

On Monday, March 6, 2023 at 3:48:03 AM UTC-5 Amirhosein Sayyadabdi wrote:

Is there a way to configure TLC so that it does not stop upon finding a error in the spec? I mean, how can I see all the errors that would be reported by TLC if I checked/unchecked the corresponding properties?

Thanks in advance for your help.

-- 
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/b1958e38-b265-4e79-81f1-6956a08b86adn%40googlegroups.com.