Errors Reported by TLC

15 views

Skip to first unread message

Amirhosein Sayyadabdi

unread,

Mar 6, 2023, 3:48:03 AM3/6/23

to tla...@googlegroups.com

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.

Andrew Helwer

unread,

Mar 6, 2023, 9:34:48 AM3/6/23

to tlaplus

The -continue command-line flag

Reply all

Reply to author

Forward

0 new messages