Files @ b433d016e796
Branch filter:

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

Christopher Esterhuyse
playing around with new predicate=>state,payload storages. toward faster querying but also toward deviation detection by way of intelligible error handling
#version 100

int main(int a) {
outer:
	while (a >= 2) {
		a -= 2;
		while (a < 10) {
unreach:	a++;
			if (a % 5 == 0)
				break outer;
		}
	}
	goto unreach;
}