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.

dot - makes ``hierarchical’’ or layered drawings of directed graphs. The layout algorithm aims edges in the same direction (top to bottom, or left to right) and then attempts to avoid edge crossings and reduce edge length.

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
https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/advanced-page.html
"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.