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

[tlaplus] After raising error



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.

--
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/6b04548e-078c-478c-a05b-8da19615329en%40googlegroups.com.