[Constraints] ports bound - trace not played in case of failure
In case of bounds violation in atomic components, the trace returned by the model checker should be played.
(from redmine: issue id 2868, created on 2017-03-03, closed on 2017-12-09)
In case of bounds violation in atomic components, the trace returned by the model checker should be played.
(from redmine: issue id 2868, created on 2017-03-03, closed on 2017-12-09)