Wrong reporting about discrete time semantrics

[Jiri Srba]

Open the attached net and verify. It will say in the output dialog that the answer is valid only for discrete time semantics (in red) but the net is not even timed (it is an untimed game). So the warning should be only displayed if the net is timed, otherwise it should not be displayed.

This problem is in trunk and 3.9 series, as well as in cpn-gui-dev and should be fixed in all places.

[Kenneth Yrke Jørgensen (yrke)]

I added a fix that will check if the model is timed. The message will only show for truly timed models.
(If the lense is timed, but the model is untimed it wont show)

[Jiri Srba (srba)]

I looked at the bug and it seems that the problem is actually that the GUI calls verifydtapn instead of verifypn engine (it is untimed, so verifypn should be called).

[Jiri Srba (srba)]

The query is wrong - asks for verifydtapn but only available engine is verifypn. Once the dialog is opened and closed, all is fine.