Project

General

Profile

Download (383 Bytes)

Bug #7391 ยป sumth31.c

Sepideh Asadi, 22/05/2018 19:26

 
int func(int a, int b)
{
int m = -1;
for (int i = 0; i < 10; i++)
{
m = m + (a + b * a);
}
return (m % 2);
}

int main()
{
unsigned int a = nondet();
unsigned int b = nondet();
int c = a;
int d = b;
int p = func(a, b);
assert (p >= -1);
int q = func(c, d);
assert(p == q);
assert((p >> 1) >= 0);
return 0;
}
    (1-1/1)