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

Files @ 702ecfb0e5e9

Branch filter:

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

702ecfb0e5e9 141 B text/plain Show Source Show as Raw Download as Raw

Christopher Esterhuyse

distinguished subtree_id (identifying a connector's child in the consensus tree) from Route, as with the addition of udp endpoints, they no longer coincide

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

#version 100

primitive main(in a) {
	while (true) {
		synchronous {
			if (fires(a)) {
				return 5;
			} else {
				block(a);
			}
		}
	}
}