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

Re: [tlaplus] States missing from dump?

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Wed, 11 Dec 2019 11:54:54 -0800
References: <ba1d4c84-b094-4d8d-b553-2545c5444c94@googlegroups.com>

On 11.12.19 11:19, leroy.vanengelen@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]?

Thanks
Markus

[1] https://github.com/tlaplus/tlaplus/issues

-- 
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/ccfe801e-dc2b-914a-71e7-19b299e67c24%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] States missing from dump?
  - From: Leroy van Engelen

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

Prev by Date: [tlaplus] States missing from dump?
Next by Date: Re: [tlaplus] Re: Has anyone tried using tla+ and clang for source level model checking?
Previous by thread: [tlaplus] States missing from dump?
Next by thread: Re: [tlaplus] States missing from dump?
Index(es):
- Date
- Thread