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
1=== modified file 'PetriEngine/Reachability/ResultPrinter.cpp'
2--- PetriEngine/Reachability/ResultPrinter.cpp 2018-04-17 09:38:14 +0000
3+++ PetriEngine/Reachability/ResultPrinter.cpp 2019-04-01 09:29:42 +0000
4@@ -127,7 +127,16 @@
5 {
6 if(stateset == NULL)
7 {
8- std::cout << "No trace could be generated" << std::endl;
9+#ifdef ENABLE_TAR
10+ if(options->tar)
11+ std::cout << "No trace could be generated" << std::endl;
12+ else
13+#endif
14+ {
15+ // No trace was generated, printing the empty trace
16+ std::cerr << "Trace:\n<trace>\n";
17+ std::cerr << "</trace>\n" << std::endl;
18+ }
19 }
20 else
21 {

Subscribers

People subscribed via source and target branches

to all changes: