Wrong reporting about discrete time semantrics

Bug #1976496 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
In Progress
Undecided
Kenneth Yrke Jørgensen

Bug Description

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.

Related branches

Revision history for this message
Jiri Srba (srba) wrote :
Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

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)

Changed in tapaal:
assignee: nobody → Kenneth Yrke Jørgensen (yrke)
status: New → In Progress
Revision history for this message
Jiri Srba (srba) wrote :

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).

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers