Graphviz visualization issue in ProB: dot viewer configuration error

Description

ProB is unable to properly visualize state spaces despite Graphviz being correctly installed:

  • Graphviz 12.2.0 is properly installed with all plugins activated

  • dot -c command has been run as administrator

  • Required plugins (gvplugin_dot_layout.dll and gvplugin_core.dll) are loaded

  • Configuration file at C:\Program Files\Graphviz\bin\config6 is successfully loaded

  • System shows all necessary rendering capabilities

  • Issue appears to be related to ProB's path_to_dottry preference configuration

 

 

Environment

Operating System: Windows 11
Graphviz Version: 12.2.0
Installation Path: C:\Program Files\Graphviz\bin
Installed Components: dot, gv2gxl, graphml2gv (in bin directory), graphviz, Tcl

Attachments

2

Activity

Show:

Michael Leuschel December 2, 2024 at 6:12 PM

Thanks for your proposal to update the documentation. You can send me textual changes by email; I will investigate if we can set up Wikimedia to enable change requests. Note: I found out that there is a VS Code extension that can view .dot files (Graphviz Interactive Preview); I hope it works on Windows too.

Park Lay December 2, 2024 at 3:52 PM

Yes, ; I have indeed ended up picking up PDF, and it worked nicely. I can visualize my state space. I think the documentation is obsolete and can be very misleading (I spent a couple of hours on this dotty issue, and I was having doubts on my ProB version, etc).

I would gladly help update the documentation if there is a clear roadmap on that, and someone can guide me through and review. Please, let me know your thoughts, and if that’s doable.

Michael Leuschel December 2, 2024 at 3:43 PM

I think that GraphViz no longer distributes the dotty visualisation program for .dot files (at least on Windows). Can you try choosing PS or PDF output in the Preferences → Graphical Viewer sub-menu? This will use the dot command-line tool to convert .dot into .pdf files. We should probably now make the PDF viewer the default, as on Mac I also am no longer able to find a working .dot viewer application.

Park Lay November 29, 2024 at 10:23 AM

This is a blocking issue; so I would greatly appreciate if you could help solve this. Please let me know if you need anything.

Thank you

Details

Assignee

Reporter

Priority

Created November 29, 2024 at 10:20 AM
Updated December 2, 2024 at 6:12 PM