I remember that Promela in a previous version had a limit "256"
of the number of array members, which I confirmed it to see
pangen(?).c. But, Spin 6.2.6 seems to be able to generate pan.c
and pan from a Prolema code including arrays of a huge number of
members.I cannot find any description about the limit in Changelog and
source codes in version 6.2.6. Could you tell me whether the
limit is removed or not? I would like to confirm that the pan.c
and pan are generated correctly.
]]>