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

Kenneth Yrke Jørgensen (yrke) wrote :

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

There is a similar issue if you go from an untimed net with CTL query to timed, the net will keep the CTL query. I guess we never implemented logic for converting queries.

« Back to merge proposal