Spinroot

feng_lei_76

Member

Registered: 2011-05-13

Posts: 43

break statement doesn't work in for structure

SPIN version 6.1.0 -- 4 May 2011
iSpin version 1.0.6 -- 24 October 2011

If for is implemented as do loop, why doesn't it allow break inside?

You may create the syntax error with the following code.

active proctype x()
{
    byte i;
       
    for (i : 1..10)
    {
        if
        :: i > 5 -> break
        :: else
        fi
    }
}

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: break statement doesn't work in for structure

it is indeed a bug -- it will be fixed in version 6.2.0