« Previous | Next » 

Revision 704bd0d9


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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences