Functions/model-checking
Model-checking should also work, when functions are used in the model. See attached model:
1. Open the MSC in the component architecture in component “Context”.
2. Check MSC with MSc Feasibility check against component “Context”.
Error occures: see attached screenshot
(from redmine: issue id 2195, created on 2015-01-13, closed on 2017-01-31)
- Relations:
- relates #2299 (closed)
- relates #2069 (closed)
- Uploads: