VerifyDTAPN

Merge lp:~verifydtapn-contributers/verifydtapn/SearchOrderBugFix into lp:verifydtapn

  1. SearchOrderBugFix
  2. Merge into trunk
Proposed by Mathias Grund Sørensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 272
Merged at revision: 272
Proposed branch: lp:~verifydtapn-contributers/verifydtapn/SearchOrderBugFix
Merge into: lp:verifydtapn
Diff against target: 11 lines (+1/-0)
1 file modified
src/DiscreteVerification/DataStructures/PWList.cpp (+1/-0)
To merge this branch: bzr merge lp:~verifydtapn-contributers/verifydtapn/SearchOrderBugFix
Reviewer Review Type Date Requested Status
Jakob Taankvist Approve
Jiri Srba Approve
Review via email: mp+132843@code.launchpad.net
To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve
Revision history for this message
Jakob Taankvist (jakob-taankvist) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/DiscreteVerification/DataStructures/PWList.cpp'
2--- src/DiscreteVerification/DataStructures/PWList.cpp 2012-10-14 15:28:01 +0000
3+++ src/DiscreteVerification/DataStructures/PWList.cpp 2012-11-05 07:09:18 +0000
4@@ -19,6 +19,7 @@
5 if((*iter)->equals(*marking)){
6 if(!(*iter)->passed){
7 waiting_list->Add(*iter);
8+ return true;
9 }
10 return false;
11 }

Subscribers

People subscribed via source and target branches