mCRL2
mCRL2 copied to clipboard
ltsgraph keeps refreshing with no graph layout enabled or user interaction
The tool ltsgraph
keeps refreshing the UI as quickly as possible without any user interaction or graph layout algorithm enabled. This issue did not occur on the previous release, and ltsview
does not do this either. ~This problem also does not occur on Windows.~ (this now no longer seems to be the case). Issue reported by Kevin.