You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am running mCRL2 (version 202307.1) on a Macbook Pro with macOS version 12.7.1.
When displaying a graph in ltsgraph I can see the nodes and the action labels but not the transitions (arrows) in-between the states (see attached screenshot). The nodes are also missing the colour.
The same issue is present when building from the master branch. Using an older version 202206.0 of mCRL2, ltsgraph works as expected though.
The text was updated successfully, but these errors were encountered:
I can now after upgrading to Qt 6.6.2 reproduce the same issue on the build server (mac mini 2018) with Sonoma 14.4. Apparently for Matthias the issue has been resolved on their new mac book,
I have having the same issue on mac OS Sonoma 14.5 and mCRL2 v202407.1. I have tried the nightly build (mcrl2-202407.1.5023c9e768_x86_64) and get the same behaviour.
I am using mCRL2 in my class and I have one student on mac (Sequoia 15.2) with the same but, and another with Sequoia 15.2 without that bug. Would any other libs interfere with ltsgraph?
I am running mCRL2 (version 202307.1) on a Macbook Pro with macOS version 12.7.1.
When displaying a graph in ltsgraph I can see the nodes and the action labels but not the transitions (arrows) in-between the states (see attached screenshot). The nodes are also missing the colour.
The same issue is present when building from the master branch. Using an older version 202206.0 of mCRL2, ltsgraph works as expected though.
The text was updated successfully, but these errors were encountered: