~peter-gjoel/verifydtapn/PTrieWorkflow

Viewing changes to src/DiscreteVerification/DiscreteVerification.cpp

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/DiscreteVerification.cpp

query);

verifier->printExecutionTime(cout);

verifier->printMessages(cout);

verifier->cleanup();

delete verifier;

}

else{

// Assumes correct structure of net!

102

options,

103

query);

104

verifier->printExecutionTime(cout);

105

verifier->cleanup();

105

delete verifier;

106

}

107

108

109

return 0;

110

}

111

Older »