verifypn

Merge lp:~verifypn-stub/verifypn/rulei-segfault into lp:verifypn

  1. rulei-segfault
  2. Merge into new-trunk
Proposed by Peter Gjøl Jensen
Status: Merged
Merged at revision: 208
Proposed branch: lp:~verifypn-stub/verifypn/rulei-segfault
Merge into: lp:verifypn
Diff against target: 12 lines (+1/-1)
1 file modified
PetriEngine/Reducer.cpp (+1/-1)
To merge this branch: bzr merge lp:~verifypn-stub/verifypn/rulei-segfault
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+346947@code.launchpad.net

Commit message

fixed segfault due to typo in ruleI

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Do you have a net on which you can reproduce the segfault?

Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'PetriEngine/Reducer.cpp'
2--- PetriEngine/Reducer.cpp 2018-05-11 09:59:25 +0000
3+++ PetriEngine/Reducer.cpp 2018-05-28 08:35:25 +0000
4@@ -819,7 +819,7 @@
5 auto it = trans.post.begin();
6 for(; it != trans.post.end(); ++it)
7 if(it->place >= arc.place) break;
8- if(it != trans.pre.end() && it->place == arc.place)
9+ if(it != trans.post.end() && it->place == arc.place)
10 {
11 auto it2 = trans.pre.begin();
12 for(; it2 != trans.pre.end(); ++it2)

Subscribers

People subscribed via source and target branches