← Back to branch summary

~srba/verifytapn/trunk

« back to all changes in this revision

Viewing changes to src/Core/VerificationOptions.cpp

  • Committer: Morten Jacobsen
  • Date: 2011-06-14 13:52:39 UTC
  • Revision ID: morten.jacobsen.2k@gmail.com-20110614135239-3ht7mfn4qt3h5gim
Added Cover most and Random search strategies.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/VerificationOptions.cpp
14
14
 
15
15
        std::string SearchTypeEnumToString(SearchType s){
16
16
                switch(s){
 
17
                case COVERMOST:
 
18
                        return "Cover Most Search";
 
19
                case RANDOM:
 
20
                        return "Random Search";
17
21
                case DEPTHFIRST:
18
22
                        return "Depth-First Search";
19
23
                default: