Add extra options to seec-print for testing:   -graph-test causes graphs to be generated (when printing with -C -S) but not written.   -reverse causes states to be printed while rewinding to the beginning of the trace (when printing with -S or -C -S). This used to be the default behaviour for -S.
Add extra options to seec-print for testing:
  -graph-test causes graphs to be generated (when printing with -C -S) but not written.
  -reverse causes states to be printed while rewinding to the beginning of the trace (when printing with -S or -C -S). This used to be the default behaviour for -S.

mheinsen/seec,mheinsen/seec,mheinsen/seec,seec-team/seec,seec-team/seec,seec-team/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,seec-team/seec