← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/Core/VerificationOptions.cpp

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-25 15:45:22 UTC
  • mfrom: (324.2.7 verifydtapn)
  • Revision ID: peter.gjoel@gmail.com-20150625154522-onpibrjxvx17iu9c
merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/VerificationOptions.cpp
69
69
                out << "Bound is : " << options.getWorkflowBound() << std::endl;
70
70
            }
71
71
        } 
 
72
        if(options.getCalculateCmax()) {
 
73
            out << "Calculating C-max" << std::endl;
 
74
        }
72
75
        out << "Model file is: " << options.getInputFile() << std::endl;
73
76
        if(options.getQueryFile() != "")
74
77
            out << "Query file is: " << options.getQueryFile() << std::endl;