Viewing all changes in revision 218.
- Committer: Jiri Srba
- Date: 2019-03-28 19:40:28 UTC
- Revision ID: srba@cs.aau.dk-20190328194028-90a0u3ix25gc2v3u
If trace was empty, printing the <trace> and </trace> anyway
- files modified:
- PetriEngine/Reachability/ResultPrinter.cpp
expand all
collapse all
added
removed
