← Back to branch summary

~peter-gjoel/verifydtapn/WorkflowRefactor

« back to all changes in this revision

Viewing changes to src/Core/VerificationOptions.hpp

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-14 22:28:12 UTC
  • mfrom: (324.2.2 verifydtapn)
  • Revision ID: peter.gjoel@gmail.com-20150614222812-rydepnzis7j50x6h
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/VerificationOptions.hpp
44
44
                bool keepDeadTokens, 
45
45
                bool enableGCDLowerGuards,
46
46
                WorkflowMode workflow,
47
 
                int workflowBound
 
47
                long long workflowBound
48
48
                ) : inputFile(""),
49
49
        queryFile(""),
50
50
        searchType(searchType),
122
122
            return workflow;
123
123
        };
124
124
 
125
 
        inline const int getWorkflowBound() const {
 
125
        inline const long long getWorkflowBound() const {
126
126
            return workflowBound;
127
127
        };
128
128
 
143
143
        bool keepDeadTokens;
144
144
        bool enableGCDLowerGuards;
145
145
        WorkflowMode workflow;
146
 
        int workflowBound;
 
146
        long long workflowBound;
147
147
    };
148
148
 
149
149
    std::ostream& operator<<(std::ostream& out, const VerificationOptions& options);