« Previous | Next » 

Revision 2a4f4170

ID2a4f41708e526dd53bc7f5b1b96f033bf4e1b78c

Added by Axel Belinfante over 8 years ago

script jtorxsa + updated writers to be non-recursive

- jtorxsa writes suspension automaton to stdout
- changed writers to no longer call unfold recursively,
because then we run out of stack for big LTSes

TODO have a look at the writers that are not changed now

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences