Multiple receiving broadcast edges not handled correctly

Bug #1563891 reported by Sybe van Hijum on 2016-03-30
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.

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  Edit
Everyone can see this information.

Other bug subscribers

Bug attachments