Spinroot

A forum for Spin users

You are not logged in.

#1 2014-02-28 03:06:48

abet
Member
Registered: 2014-02-28
Posts: 14

A limit of the number of array members

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

#2 2014-03-03 01:17:36

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: A limit of the number of array members

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

#3 2014-03-03 09:43:19

abet
Member
Registered: 2014-02-28
Posts: 14

Re: A limit of the number of array members

Thank you for the reply.  I seemed to remember it wrong.

Offline

Board footer

Powered by FluxBB