Unfold colored timed output arc with weight
Bug #1959661 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
Open the attached net and unfold
The 3'dot is opened as "no weight" in the net (inscription="3") is in xml
To post a comment you must log in.
It seems that verifydtapn uses the inscription prop to set weight for output arcs, the gui expects weight prop.
This was done to work arround an other issue, so we might need to adjust related code in the gui after this behaviour is changed in verifydtapn.
(See https:/ /github. com/TAPAAL/ verifydtapn/ pull/29)