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

Re: [tlaplus] Visualize state graphs in TLA toolbox

1) I don't know what this means "dot executable of the GraphViz project”

“dot" is one of the executables supplied by graphviz. It will be located in the bin directory of the installation.

Steve Glaser

On Nov 28, 2017, 5:08 PM -0800, gajera...@xxxxxxxxx, wrote:
Hi there,

I want to see the graph of distinct state basically when I click on column header after running the model checking. So, I was going through this document
"In order to visualize a state graph, the path to the dot executable of the GraphViz project has to be set on the State Graph preference page on the File/Preferences menu".

I download GraphViz (https://graphviz.gitlab.io/_pages/Download/Download_windows.html), but I have 2 problems
1) I don't know what this means "dot executable of the GraphViz project"
2) I don't see any State Graph preference page in File/Preferences menu in my toolbox.

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+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.