active proctype test() {

skip;

}

init{

run test() priority A  // error here: 'A' must be a number

}

Spin correctly indicates the error; epispin does not

Submitted by Kees Pronk on 5 March 2012 at 23:09