NuSMV: Analysis fails for Array type ports
If one tryes to check any property on a port which is of an array type (or struct type containing an array), the NuSMV Analysis fails with an error message shown
It should be possible to check such elements, too.
(from redmine: issue id 2065, created on 2014-07-23, closed on 2017-01-30)