Update check activity in TL-Spec of a component
If component has a TL-Spec with specified contracts and if the behaviour
of the component is changed, the TL-Spec doesn’t notice this changes.
The result of the check is the same result as before the model has been
changed. (see BugReports->DoorsAndSlidesController>
DoorOperationAllowed)
(from redmine: issue id 1380, created on 2013-05-06, closed on 2013-08-03)
- Uploads: