TAPAAL

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

  1. untimed-timed-gui
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Open intro example and go to simulation mode. When you hover over places,
it shows { 0 } and if you hover over transitions, it shows [0, inf). These
should be disabled for untimed nets.

review: Needs Fixing

« Back to merge proposal