CSY/reowolf Files · testdata/parser/negative/31.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ 7f75e1f23836

Branch filter:

Location: CSY/reowolf/testdata/parser/negative/31.pdl - annotation

7f75e1f23836 130 B text/plain Show Source Show as Raw Download as Raw

Christopher Esterhuyse

bugfix: regression from previous vers: proto components correctly enforce that each of their ports' firing variables are assigned FIRING iff that port put or get during the round

1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395
1b7b852c3395

#version 100

primitive main(int a) {
    while (true) {
        synchronous {
            break; // not allowed
        }
    }
}