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

[Jiri Srba]

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

[Jiri Srba (srba)]

Tested and it fixes the problems.

review: Approve

=== modified file 'src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp'
--- src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp	2020-08-30 19:06:41 +0000
+++ src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp	2020-10-09 17:07:10 +0000
@@ -333,10 +333,12 @@
 
         std::sort(successors.begin(), successors.end());
         size_t unique = 0;
+        bool first = true;
         store_t::Pointer *child = nullptr;
         for(auto p : successors) {
-            if(p == child) continue;
+            if(p == child && !first) continue;
             else child = p;
+            first = false;
             ++unique;
 
             SafetyMeta &childmeta = store->get_meta(child);