TAPAAL

Unfold colored timed output arc with weight

Bug #1959661 reported by Kenneth Yrke Jørgensen
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Critical
Kenneth Yrke Jørgensen
TAPAAL cpn "cpn"

Bug Description

Open the attached net and unfold

The 3'dot is opened as "no weight" in the net (inscription="3") is in xml

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :
Changed in tapaal:
milestone: none → cpn
importance: Undecided → Critical
status: New → Confirmed
Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote (last edit ):

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)

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

The issue is fixed in cpn branch, if used together with updated verifydtapn from https://github.com/TAPAAL/verifydtapn/pull/29

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

The unfolding is still wrong. There should be weight 3 on the arc when unfolded.

Revision history for this message
Jiri Srba (srba) wrote :

Fixed by merging PR to verifydtapn main that chances inscription to weight.

Changed in tapaal:
status: In Progress → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Bug attachments

Remote bug watches

Bug watches keep track of this bug in other bug trackers.