Analysis: NuSMV error message for large numbers
When doing MSC Conformity analysis for MSC with numbers above 512, an
error message is given.
Try the model attached. Take, for example, the message between
OutputRouter1 and InputRouter2
- if it contains a value below 256, the conformity analysis is successful (i.e. Analysis Output: ‘The MSC is conform!’),
- if this value is between 256 and 512, the analysis is unsuccessful,
- above 512, an error message is given.
(from redmine: issue id 1936, created on 2014-02-14, closed on 2017-11-28)
- Uploads: