Code review comment for lp:~tapaal-contributor/tapaal/untimed-timed-gui

Peter Haahr Taankvist (ptaank) wrote :

Moved "Choose next transition randomly" to simulation controller. Arrows in simulation mode are now visible. The QueryDialog will now use the lens to choose whether or not to show the CTL query or the Reachability query.

Finally, when converting to timed nets, CTL queries are removed and a dialog is shown informing about the removed queries.

review: Needs Resubmitting

« Back to merge proposal