Multiple receiving broadcast edges not handled correctly

Bug #1563891 reported by Sybe van Hijum
This bug affects 1 person
Affects Status Importance Assigned to Milestone

Bug Description

If a location has multiple outgoing receiving transitions, sometimes not all will be explored in the c++ generated code. In such a case all updates will be executed, but only the last ones will reach the callback function. This problem will occur when multiple outgoing receiving transitions have guards that can be true at the same time.

Attached an example which should have 5 states, but only explores 2 when given to LTSmin.

Revision history for this message
Sybe van Hijum (sybevanhijum-92) wrote :
summary: - multiple receiving edges
+ Multiple receiving broadcast edges not handled correctly
Changed in opaal:
status: New → Confirmed
importance: Undecided → Critical
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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