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

Re: [tlaplus] Invariant valid in all states but one

Hi Stephan,

yes it was my fault. I misinterpreted an error message and while reading some articles I also got a wrong impression of how powerful TLA+s invariants are.

Anyhow, thanks for your reply which encouraged me to have a second look at my example :)