search

mCRL2org / mCRL2

The Git repository for the mCRL2 toolset.
https://mcrl2.org/
Boost Software License 1.0
88 stars 37 forks source link

LTSgraph does not visualize during optimalization #676

Closed jgroote closed 14 years ago

jgroote commented 14 years ago

Issue migrated from trac ticket # 672

component: ltsgraph | priority: major | resolution: fixed

2009-11-26 10:13:53: fstapper@win.tue.nl created the issue

mCRL2 version: svn-7152 OS: WinXP

After loading an FSM in ltsgraph, I can click Tools - Optimization. After changing the sliders and clicking Start, nothing happens. Clicking Stop and then closing the window leaves a square needing to be redrawn in place of the window. After resizing the main window, everything is redrawn and it looks like the optimization has been applied.

Reported by Rogier

jgroote commented 14 years ago

2009-12-07 21:43:18: fstapper@win.tue.nl changed status from new to closed

jgroote commented 14 years ago

2009-12-07 21:43:18: fstapper@win.tue.nl set resolution to fixed

jgroote commented 14 years ago

2009-12-07 21:43:18: fstapper@win.tue.nl commented

Fixed in r7161