MIRA: Automated Check does not show every warning
The warnings in the model markers are not refreshen when clicking “Review Requirements”, but only after saving model changes.
For example, open SimpleTrafficLightExample, delete the rational of requirement 2 and press “Review Requirements”. The warnings are listed in the pop-up, but not displayed in the model markers. After pressing save, the warnings are also displayed in the model markes.
(from redmine: issue id 1381, created on 2013-05-07, closed on 2013-05-13)