CSY/reowolf Files · testdata/eval/positive/1.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ a6f53f74e58c

Branch filter:

a6f53f74e58c 78 B text/plain Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent

#version 100

composite main() {}

int test() {
	int x = 5;
	x++;
	return x;
}