« Previous | Next » 

Revision 052cd59f

ID052cd59f062fb8cb7656f76c007f0ccad15b6c86

Added by Axel Belinfante over 8 years ago

made debug prints conditional + slightly extended logging

- with COVERAGEGUIDESTART print labelconstraint and state label
- new MODELSTATS log line that contains number of transitions in menu

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences