After raising error

14 views

Skip to first unread message

unread,

Dec 6, 2021, 10:32:17 AM12/6/21

to tlaplus

When my model finds 'one' bug, it stops running and shows me the error trace.

Is there any method to let the model keeps running and report all the bugs to me?

Thank you.

unread,

Dec 6, 2021, 11:23:42 AM12/6/21

to tla...@googlegroups.com

Reply all

Reply to author

Forward

0 new messages