Viewing all changes in revision 160.
- Committer: Jiri Srba
- Date: 2017-04-14 17:43:36 UTC
- Revision ID: srba.jiri@gmail.com-20170414174336-qzvlepok82vpyu9e
fixed new lines and spaces in state-space MCC output string
- files modified:
- PetriEngine/Reachability/ResultPrinter.cpp
expand all
collapse all
added
removed
