Files
@ c170b58f95b1
Branch filter:
Location: CSY/reowolf/testdata/parser/positive/10.pdl - annotation
c170b58f95b1
419 B
text/plain
more safety assertions, some minor cleanup, and major commenting
1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 1b7b852c3395 | #version 100
composite main() {}
primitive example(in a, out[] b) {
while (true) {
synchronous {
if (fires(a)) {
int i = 0;
while (i < b.length) {
if (fires(b[i])) {
int j = i + 1;
while (j < b.length)
assert !fires(b[j++]);
break;
}
i++;
}
assert i < b.length;
} else {
int i = 0;
while (i < b.length)
assert !fires(b[i++]);
}
}
}
}
|