Viewing all changes in revision 214.
- Committer: Jiri Srba
- Date: 2019-04-01 09:31:52 UTC
- mfrom: (205.5.4 emptyTracePrint)
- Revision ID: srba.jiri@gmail.com-20190401093152-uyc02h53kt86v57j
merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing empty trace printing
- files modified:
- PetriEngine/Reachability/ResultPrinter.cpp
expand all
collapse all
added
removed
