MIRA: highlighting in scenario does not work correct
See SimpleTrafficLightExample, “pedestrian light” is not highlighted correctly in scenario
(from redmine: issue id 1297, created on 2013-02-26, closed on 2013-03-18)
See SimpleTrafficLightExample, “pedestrian light” is not highlighted correctly in scenario
(from redmine: issue id 1297, created on 2013-02-26, closed on 2013-03-18)