« Previous | Next » 

Revision 52062c57


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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences