VerifyDTAPN

Merge lp:~verifydtapn-contributers/verifydtapn/af-games into lp:verifydtapn

  1. af-games
  2. Merge into trunk
Proposed by Jiri Srba
Status: Merged
Approved by: Jiri Srba
Approved revision: 382
Merged at revision: 340
Proposed branch: lp:~verifydtapn-contributers/verifydtapn/af-games
Merge into: lp:verifydtapn
Diff against target: 17 lines (+3/-1)
1 file modified
src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp (+3/-1)
To merge this branch: bzr merge lp:~verifydtapn-contributers/verifydtapn/af-games
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+392067@code.launchpad.net

Commit message

Fixes problem with control AF queries caused by collision in uniqueness check w. null value

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

Tested and it fixes the problems.

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp'
2--- src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp 2020-08-30 19:06:41 +0000
3+++ src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp 2020-10-09 17:07:10 +0000
4@@ -333,10 +333,12 @@
5
6 std::sort(successors.begin(), successors.end());
7 size_t unique = 0;
8+ bool first = true;
9 store_t::Pointer *child = nullptr;
10 for(auto p : successors) {
11- if(p == child) continue;
12+ if(p == child && !first) continue;
13 else child = p;
14+ first = false;
15 ++unique;
16
17 SafetyMeta &childmeta = store->get_meta(child);

Subscribers

People subscribed via source and target branches