Merge lp:~tapaal-ltl/verifypn/answer-for-gui into lp:verifypn

[Simon Virenfeldt]

Add LTL answer output compatible with the TAPAAL GUI.

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/LTL/LTLMain.cpp'
--- src/LTL/LTLMain.cpp	2021-04-07 08:50:10 +0000
+++ src/LTL/LTLMain.cpp	2021-06-06 19:11:57 +0000
@@ -190,11 +190,13 @@
                 assert(false);
                 std::cerr << "Error: cannot LTL verify with algorithm None";
         }
+        bool answer = result.satisfied ^ negate_answer;
         std::cout << "FORMULA " << queryName
-                  << (result.satisfied ^ negate_answer ? " TRUE" : " FALSE") << " TECHNIQUES EXPLICIT "
+                  << (answer ? " TRUE" : " FALSE") << " TECHNIQUES EXPLICIT "
                   << LTL::to_string(options.ltlalgorithm)
                   << (result.is_weak ? " WEAK_SKIP" : "")
                   << std::endl;
+        std::cout << "Query is" << (answer ? "" : " NOT") << " satisfied." << std::endl;
 #ifdef DEBUG_EXPLORED_STATES
         std::cout << "FORMULA " << queryName << " STATS EXPLORED " << result.explored_states << std::endl;
 #endif