Merge lp:~verifypn-maintainers/verifypn/emptyTracePrint into lp:verifypn

[Jiri Srba]

If generated trace is empty, then we print <trace></trace> anyway so that the GUI
displays the empty trace.

[lp:~verifypn-maintainers/verifypn/emptyTracePrint]

219. By Jiri Srba <email address hidden> on 2019-04-01

fixed printing empty trace in case tar is enabled

[Jiri Srba (srba)]

review: Approve

=== modified file 'PetriEngine/Reachability/ResultPrinter.cpp'
--- PetriEngine/Reachability/ResultPrinter.cpp	2018-04-17 09:38:14 +0000
+++ PetriEngine/Reachability/ResultPrinter.cpp	2019-04-01 09:29:42 +0000
@@ -127,7 +127,16 @@
             {
                 if(stateset == NULL)
                 {
-                    std::cout << "No trace could be generated" << std::endl;
+#ifdef ENABLE_TAR
+                    if(options->tar)
+                        std::cout << "No trace could be generated" << std::endl;
+                    else
+#endif
+                    {
+                        // No trace was generated, printing the empty trace
+                        std::cerr << "Trace:\n<trace>\n";
+                        std::cerr << "</trace>\n" << std::endl;
+                    }
                 }
                 else
                 {