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

Re: [tlaplus] States missing from dump?

On Wednesday, December 11, 2019 at 8:55:03 PM UTC+1, Markus Alexander Kuppe wrote:
On 11.12.19 11:19, leroy.v...@xxxxxxxxx wrote:
> Is this a bug or is my expectation wrong? I don't have a lot of TLA+
> experience yet :)

It appears this is a bug in TLC.  Can you please open a new issue at
GitHub [1]?

Sure, done! 

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/488e4f80-34d0-47c5-bcb5-bec07083a03e%40googlegroups.com.