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

Re: [tlaplus] Re: How do you do functions of structures?

On 07.06.21 06:52, Andrew Helwer wrote:
Plus the state traces are much easier to read.

The new-ish ALIAS feature of TLC [1] addresses this problem (one less reason to write specs that work well with the various tools).


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

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/52638458-9159-98a3-c757-2efaaae015bc%40lemmster.de.