Merge lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 into lp:verifypn
Proposed by
Thomas Pedersen
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Jiri Srba | ||||
Approved revision: | 247 | ||||
Merged at revision: | 245 | ||||
Proposed branch: | lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 | ||||
Merge into: | lp:verifypn | ||||
Diff against target: |
32 lines (+11/-2) 2 files modified
include/PetriEngine/Colored/Expressions.h (+10/-1) src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+1/-1) |
||||
To merge this branch: | bzr merge lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Peter Gjøl Jensen | Approve | ||
Review via email: mp+405543@code.launchpad.net |
Commit message
Fix problem with multiple constant colors on arcs creating multiple arcs between the same place and transition in the unfolded net, because of partitioning not being applied correctly.
To post a comment you must log in.
Passes regression-tests on colored nets.
Minor gains in reachability, otherwise comparable to trunk in performance.