Marking added to waitinglist twice in reachability
Bug #1066530 reported by
Jakob Taankvist
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
VerifyDTAPN |
New
|
Undecided
|
Unassigned |
Bug Description
In the liveness search a marking can sometimes correctly be added to the waiting list twice.
However this causes the engine to sometimes add a marking to the waiting list twice in the reachability search. This is not handled by the reachability algorithm (as it is with the liveness algorithm).
I don't think this is a severe bug - but it could cause a slight slowdown on some runs.
summary: |
- Marking added to waitinglist twice in liveness + Marking added to waitinglist twice in reachability |
To post a comment you must log in.