← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-22 22:14:57 UTC
  • Revision ID: peter.gjoel@gmail.com-20150622221457-ihkp7ph43etwgceq
conforms to previous branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp
49
49
                                                tapn.getNumberOfPlaces(), 
50
50
                                                tapn.getMaxConstant());
51
51
        }
52
 
 
53
 
        
 
52
       
54
53
        bool WorkflowStrongSoundnessReachability::verify() {
55
54
            
56
55
            if (outPlace == NULL)