svcomp_java_Continue1.c

contents

int main() {
	int i = 0;
    int c = 0;
	while (i < 20) {
	    i++;
	    if (i <= 10) continue;
        c++;
	}
    return c;
}

content may be truncated. 'popout' for larger text window.