svcomp_java_Nested.c

contents

int main() {
    int i, j;
    int c = 0;
    for (i = 0; i < 10; i++)
        for (j = 3; j < 12; j += 2) {
            j -= 1;
            c += 1;
        }
    return c;
}

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