svcomp_java_Sequence.c

contents

int main() {
    int i, j;
    int c = 0;
    for (i = 0; i < 100; i++) c = c + 1;
    for (j = 5; j < 21; j += 3) c = c + 1;
    return c;
}

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