[Traceability] Traces on automaton transitions
Have traces on transitions, instead of a complete automaton
(from redmine: issue id 2710, created on 2016-10-11, closed on 2017-12-01)
- Relations:
- relates #3210 (closed)
Have traces on transitions, instead of a complete automaton
(from redmine: issue id 2710, created on 2016-10-11, closed on 2017-12-01)