Merge lp:~verifydtapn-contributers/verifydtapn/3.1MissingParentFix into lp:verifydtapn

[Peter Gjøl Jensen]

Redefinition of class member for temporary storage of parent marking makes the behaviour unspecified.
The class member in the successor generator is never set, setting the parent of all markings to become the initial, unspecified value, which is a pointer to a random memory address.

Redefinition of class member for temporary storage of parent marking makes the behaviour unspecified.
The class member in the successor generator is never set, setting the parent of all markings to become the initial, unspecified value, which is a pointer to a random memory address.

[Jiri Srba (srba)]

The problem on linux is fixed.

review: Approve

=== modified file 'src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp'
--- src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp	2014-03-11 20:25:13 +0000
+++ src/DiscreteVerification/VerificationTypes/LivenessSearch.hpp	2014-06-21 18:10:15 +0000
@@ -47,7 +47,6 @@
             void getTrace();
         protected:
             int validChildren;
-            NonStrictMarking* tmpParent;
         };
 
         class LivenessSearchPTrie : public LivenessSearch {