Revision 77:f5f7b37f5cfc
ID | f5f7b37f5cfc |
Parent | 76:73ffc94bf3d6 |
Child | 78:52a02a0b7da5 |
added plan length and correctness logging and some utility methods
Files
- added
- modified
- copied
- renamed
- deleted
ID | f5f7b37f5cfc |
Parent | 76:73ffc94bf3d6 |
Child | 78:52a02a0b7da5 |
Added by Štolba Michal over 7 years ago
added plan length and correctness logging and some utility methods