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 | |
---|---|---|---|---|---|
opaal |
Confirmed
|
Critical
|
Unassigned |
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.