← Back to branch summary

~verifydtapn-contributers/verifydtapn/BDDPassedList

« back to all changes in this revision

Viewing changes to src/Core/ArgsParser.cpp

  • Committer: Peter Gjoel Jensen
  • Date: 2013-09-13 15:42:51 UTC
  • Revision ID: peter.gjoel@gmail.com-20130913154251-fscbs6r6epd0lo7m
seemingly working implementation of the BDD

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/ArgsParser.cpp
300
300
VerificationOptions::MemoryOptimization intToMemoryOptimizationEnum(int i) {
301
301
        switch (i) {
302
302
        case 0:
303
 
                std::cout << "Only 'PTrie' version allowed (in this version it is replaced by BuddyBDD)" << std::endl;
304
 
                exit(1);
 
303
                return VerificationOptions::NO_MEMORY_OPTIMIZATION;
305
304
        case 1:
306
305
                return VerificationOptions::PTRIE;
307
306
        default: