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

Revision history for this message
Jiri Srba (srba) wrote :

Open intro example and go to simulator and select Setting. Even though the net is timed,
the dialog is reduced and does not contain the granuality, delay mode etc.

Also, please move Choose next transition randomly to "Simulation controller" so that this one shows for untimed nets.

Finally, the two arrows < and > in "Simulation Control" should be visible also for untimed nets.

review: Needs Fixing

« Back to merge proposal