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

Re: [tlaplus] Why does this liveness property not work?

From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
Date: Mon, 7 Oct 2024 16:29:57 -0700 (PDT)
References: <42b3b918-e70a-4506-911f-b7b282fcc6acn@googlegroups.com> <67B1C8A4-AEEA-4FDE-AE4F-476CCEEFB2BE@gmail.com> <CACooHMBzA_DXohgiQom4DHbPLtWz-+rjneHWwdoU98-wvQ0DAQ@mail.gmail.com> <b19f7ae3-afd6-4cc2-8099-f4dee25c08c8n@googlegroups.com>

Aha, this inspired me to check it with an older release and it doesn't report an error there! So this seems to be a regression. An excellent opportunity for me to exercise my git bisect skills.

Andrew

--
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/a4eb9b9c-0c8c-4623-8830-9f153c62a695n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] Why does this liveness property not work?
  - From: Andrew Helwer

References:
- [tlaplus] Why does this liveness property not work?
  - From: Andrew Helwer
- Re: [tlaplus] Why does this liveness property not work?
  - From: Stephan Merz
- Re: [tlaplus] Why does this liveness property not work?
  - From: Igor Konnov
- Re: [tlaplus] Why does this liveness property not work?
  - From: Andrew Helwer

Prev by Date: Re: [tlaplus] Why does this liveness property not work?
Next by Date: Re: [tlaplus] Why does this liveness property not work?
Previous by thread: Re: [tlaplus] Why does this liveness property not work?
Next by thread: Re: [tlaplus] Why does this liveness property not work?
Index(es):
- Date
- Thread