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

Proposed by Jiri Srba on 2019-03-28
Status: Merged
Approved by: Jiri Srba on 2019-04-01
Approved revision: 219
Merged at revision: 218
Proposed branch: lp:~verifypn-maintainers/verifypn/emptyTracePrint
Merge into: lp:verifypn
Diff against target: 21 lines (+10/-1)
1 file modified
PetriEngine/Reachability/ResultPrinter.cpp (+10/-1)
To merge this branch: bzr merge lp:~verifypn-maintainers/verifypn/emptyTracePrint
Reviewer Review Type Date Requested Status
Jiri Srba Approve on 2019-04-01
Peter Gjøl Jensen 2019-03-28 Pending
Review via email: mp+365245@code.launchpad.net

Commit message

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

To post a comment you must log in.
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

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== 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 @@
127 {127 {
128 if(stateset == NULL)128 if(stateset == NULL)
129 {129 {
130 std::cout << "No trace could be generated" << std::endl;130#ifdef ENABLE_TAR
131 if(options->tar)
132 std::cout << "No trace could be generated" << std::endl;
133 else
134#endif
135 {
136 // No trace was generated, printing the empty trace
137 std::cerr << "Trace:\n<trace>\n";
138 std::cerr << "</trace>\n" << std::endl;
139 }
131 }140 }
132 else141 else
133 {142 {

Subscribers

People subscribed via source and target branches

to all changes: