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 :

Another issue: open intro example and untime it; then open the query and it shows the reachability dialog instead of CTL dialog.

review: Needs Fixing

« Back to merge proposal