A forum for Spin users
You are not logged in.
Pages: 1
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.
Offline
i don't think there was every a limit on the number of array elements,
there's just a limit on the number of processes and the number of channels (both 255),
and of course the range of a byte (if used as an array index) is limited to 0..255
Offline
Thank you for the reply. I seemed to remember it wrong.
Offline
Pages: 1