← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/SearchStrategies/SearchFactory.h

  • 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

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/SearchStrategies/SearchFactory.h
20
20
        if(options.getWorkflowMode() == options.WORKFLOW_SOUNDNESS){
21
21
                WorkflowMinFirst<T> s;
22
22
                strategy = s.createWaitingList(query);
23
 
        } if(options.getWorkflowMode() == options.WORKFLOW_STRONG_SOUNDNESS){
 
23
        } else if(options.getWorkflowMode() == options.WORKFLOW_STRONG_SOUNDNESS){
24
24
            NonStrictDFS<T> s;
25
25
            strategy = s.createWaitingList(query);
26
26
        } else if(query->getQuantifier() == EG || query->getQuantifier() == AF){