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

Re: [tlaplus] States missing from dump?

From: Leroy van Engelen <leroy.vanengelen@xxxxxxxxx>
Date: Thu, 12 Dec 2019 01:04:18 -0800 (PST)
References: <ba1d4c84-b094-4d8d-b553-2545c5444c94@googlegroups.com> <ccfe801e-dc2b-914a-71e7-19b299e67c24@lemmster.de>

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.

References:
- [tlaplus] States missing from dump?
  - From: leroy . vanengelen
- Re: [tlaplus] States missing from dump?
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] how to determine total states of model
Next by Date: [tlaplus] Command-line tool options
Previous by thread: Re: [tlaplus] States missing from dump?
Next by thread: [tlaplus] Command-line tool options
Index(es):
- Date
- Thread