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

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

Bisecting identified the breaking commit, which occurred in August 2021.

I opened this issue in the repo: https://github.com/tlaplus/tlaplus/issues/1037

Andrew

On Monday, October 7, 2024 at 7:29:58 PM UTC-4 Andrew Helwer wrote:
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/44e55864-169b-4d95-8e9f-47a335db69c3n%40googlegroups.com.