« Previous | Next » 

Revision 704bd0d9

ID704bd0d99d823884e133480b9dd7ad526c8a6ff4

Added by Axel Belinfante over 8 years ago

fix: utraces/straces were broken, and inefficient, by tau-loop detection code

now it works again (correct suspension automaton is generated), and
when tau-loop detection is turned off, it is mostly effecicient again

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences