« Previous | Next » 

Revision 6be7d52e

ID6be7d52e648dcb48a0e5a5ba636ab69835259e44

Added by Axel Belinfante almost 11 years ago

instead of constructing a list of LTSs,we just collect the information, and construct LTS on demand

TODO probably we can slightly change the interface to constrcutLTS
and pass it an index, and let it lookup the right trace and diff
from the corresponding lists.

TODO fix the combinedLTS
(should we just create it right away?
on the fly as we also create the string-result, and
the trace+diff for the test-purposes?
or is creating it too expensive?)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences