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

Re: [tlaplus] Is an action atomic?

On 20.04.20 13:36, Todd Greenwood-Geer wrote:
>   Hi,
> I have a newbie question regarding what is, and is not, an 'atomic'
> operation in TLA+.

Hi Todd,

don't use Print or PrintT unless you are familiar with the inner
workings of TLC.  To visualize the state space of your model, run TLC
with "-dump dot foo.dot" and render the output ("foo.dot") with GraphViz
[1].  By the way, the Toolbox has built-in support to visualize state


[1] https://www.graphviz.org/

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/cf20f9db-c796-99b5-a8e2-ffc3e8ca40c4%40lemmster.de.