Et1.c

contents

extern int __VERIFIER_nondet_int(void);

int foo(int a,int b){
a = - __VERIFIER_nondet_int();
b = - __VERIFIER_nondet_int();
while (a > b) {
        b = b + a;
        a = a + 1;
    }
return 0;
}

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