← Back to branch summary

~verifypn-maintainers/verifypn/u4.2

« back to all changes in this revision

Viewing changes to src/LTL/LTLMain.cpp

  • Committer: srba.jiri at gmail
  • Date: 2021-07-07 12:02:50 UTC
  • mfrom: (233.1.63 update-parser)
  • Revision ID: srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/LTLMain.cpp
190
190
                assert(false);
191
191
                std::cerr << "Error: cannot LTL verify with algorithm None";
192
192
        }
193
 
        bool answer = result.satisfied ^ negate_answer;
194
193
        std::cout << "FORMULA " << queryName
195
 
                  << (answer ? " TRUE" : " FALSE") << " TECHNIQUES EXPLICIT "
 
194
                  << (result.satisfied ^ negate_answer ? " TRUE" : " FALSE") << " TECHNIQUES EXPLICIT "
196
195
                  << LTL::to_string(options.ltlalgorithm)
197
196
                  << (result.is_weak ? " WEAK_SKIP" : "")
198
197
                  << std::endl;
199
 
        std::cout << "Query is" << (answer ? "" : " NOT") << " satisfied." << std::endl;
200
198
#ifdef DEBUG_EXPLORED_STATES
201
199
        std::cout << "FORMULA " << queryName << " STATS EXPLORED " << result.explored_states << std::endl;
202
200
#endif