Spinroot

A forum for Spin users

You are not logged in.

#1 2011-08-19 13:43:55

KeesPronk
Member
Registered: 2011-01-04
Posts: 12

strange warning

When I run ' spin -v for.pml' on the following program:

int i;           
init{
    for (i : 5 .. 8) {printf(" %d \n", i)}
};

Spin gives me the following , somewhat unexpected, warning:


spin -v for.pml
spin: warning, for.pml, global, 'int   i' variable is never used

Kees

Offline

#2 2011-08-19 16:08:38

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

Re: strange warning

ah -- a hidden use of 'i'
will be fixed in the next release
thanks!

Offline

#3 2011-09-22 23:04:05

Jed
Member
Registered: 2011-09-22
Posts: 1

Re: strange warning

[quote=spinroot]ah -- a hidden use of 'i'
will be fixed in the next release
thanks![/quote]

"A hidden use of 'i'" I love it. Who says we don't have a sense of humor! smile

Offline

Board footer

Powered by FluxBB