Viewing all changes in revision 218.
- Committer: Jiri Srba
- Date: 2019-04-01 09:32:55 UTC
- mfrom: (217.1.2 emptyTracePrint)
- Revision ID: srba.jiri@gmail.com-20190401093255-6ha0i8snre9mtu49
merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing the printing of empty trace
- files modified:
- PetriEngine/Reachability/ResultPrinter.cpp
expand all
collapse all
added
removed
