Trace generation broken with reductions
Bug #1821153 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Peter Gjøl Jensen |
Bug Description
In TAPAAL 3.5.0 trace generation is broken when we employ structural reductions.
Check the attached net, without redcutions it returns the correct trace but
with reductions only the first transition in the trace that does not lead to the
required marking.
Related branches
lp:~verifypn-cpn/verifypn/rulef-tracefix
- Jiri Srba: Approve
-
Diff: 37 lines (+13/-0)1 file modifiedPetriEngine/Reducer.cpp (+13/-0)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.