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

[tlaplus] After raising error

From: Yibo Wang <wangyibo0308@xxxxxxxxx>
Date: Mon, 6 Dec 2021 07:28:44 -0800 (PST)

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.

Follow-Ups:
- Re: [tlaplus] After raising error
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Model checking double buffering
Next by Date: Re: [tlaplus] After raising error
Previous by thread: Re: [tlaplus] Model checking double buffering
Next by thread: Re: [tlaplus] After raising error
Index(es):
- Date
- Thread