Re: [tlaplus] Re: Error(s) from running the Trace Explorer

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 27.04.21 23:49, myzh...@xxxxxxxxx wrote:
> The attachment is too large (TE.tla, 2.1M and MC_TE.out 0.6M), which 
> prevents me to share here.

Hi Mingyang,

please send it to me privately or open an issue at 
https://github.com/tlaplus/tlaplus/issues

Thanks,
Markus

--
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/64d9d293-27c4-f473-6716-98f4811071ff%40lemmster.de.