← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

~peter-gjoel/verifydtapn/PTrieWorkflow

Viewing all changes in revision 350.

Committer: Peter Gjøl Jensen
Date: 2015-06-22 14:45:39 UTC
Revision ID: peter.gjoel@gmail.com-20150622144539-skkruwkgsx3gnuao

strong-workflow + ptrie checked for leaks and memmory-corruption. Has controlled leak of two markings, not fixed as this would clutter up the code even more

files modified:
src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/SearchStrategies/SearchFactory.h

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.cpp

src/DiscreteVerification/DataStructures/CoveredMarkingVisitor.h

src/DiscreteVerification/DataStructures/MarkingEncoder.h

src/DiscreteVerification/DataStructures/NonStrictMarking.hpp

src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp

src/DiscreteVerification/DataStructures/PWList.hpp

src/DiscreteVerification/DataStructures/WorkflowPWList.cpp

src/DiscreteVerification/DataStructures/WorkflowPWList.hpp

src/DiscreteVerification/DataStructures/ptrie.h

src/DiscreteVerification/DiscreteVerification.cpp

src/DiscreteVerification/SearchStrategies/SearchFactory.h

src/DiscreteVerification/SuccessorGenerator.hpp

src/DiscreteVerification/VerificationTypes/AbstractNaiveVerification.hpp

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.hpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.hpp

Older »