Problem with the model-checker while generating transitions coverage tests
The issue seems to occur even in the case of the component Watercraft1
(from redmine: issue id 1041, created on 2012-11-27, closed on 2012-11-28)
The issue seems to occur even in the case of the component Watercraft1
(from redmine: issue id 1041, created on 2012-11-27, closed on 2012-11-28)