[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] How do you list possible next steps?
On 18.04.20 09:46, Andreas Källberg wrote:
> Den ons 15 apr. 2020 kl 19:08 skrev Markus Kuppe
> I shared a trick how to interactively explore a state space at
> I can write a howto if this is what you are looking for.
> Yes, that would be very nice!
I recorded a screencast  that shows how to print all possible
next-states at each step of an error trace. The trick does not work
with the Toolbox but uses a recent nightly release of TLC . I
summarized the high-level steps in a comment under the screencast.
Hope this helps,
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/0f7c2b6a-044c-80d8-e586-491fa4a91b79%40lemmster.de.