A forum for Spin users
You are not logged in.
Pages: 1
Maybe this is related, I get the following error when I run the following code.
active proctype P() {
int i;
select (i : 1..10);
printf("%d\n", i)
}spin: foo.pml:3, Error: misplaced break statementThis worked with 6.1.0.
Pages: 1