On 17.02.20 12:41, david streader wrote: > Sorry I should have said. I read the post and yes it looks very much the > same but the work round > > sudo rm -rf /Library/Internet\ Plug-Ins\AdobePDFViewer* > > did not work. But from rereading the post I downloaded the nightly > build TLAToolbox-1.6.1-macosx.cocoa.x86_64.zip > and it still crashed. david Hi David, until we figure out what the root cause for the crash is, please note that you can manually generate and open the state graph: On the Toolbox's TLC options page, add "-dump dot StateGraph.dot" into "TLC command line parameters" (make sure to uncheck "Visualize state graph..." to prevent the Toolbox crash). Check the model and open StateGraph.dot with e.g. xdot (see the attached gif). Thanks Markus PS: xdot and graphviz are part of homebrew. -- 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/6776db64-078f-3f31-ef8b-3d778aafbe3d%40lemmster.de.
Attachment:
StateGraphManualXDot.gif
Description: GIF image
