« Previous | Next » 

Revision 52062c57

ID52062c57db7b0667360b9010cfd59eeb149bac31

Added by Axel Belinfante over 8 years ago

fixed erroneous highlighting in visualization (for simulation of sa and implementation)

- when simulating suspension automaton, avoid highlighting outgoing
tau transition of source state of the current transition
(we do want to highlight that transition when visualizing an implementation,
because it will be part of the trace that the implementation performed)
- when visualizing implementation, no longer highlight first source node
(start of current highlighted trace) when it is the same node that was
highlighted as end of the trace of the previous step

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences