Project

General

Profile

Download (897 Bytes)

Bug #7414 ยป sumth73.c

Sepideh Asadi, 24/05/2018 14:37

 
int func1(int a, int b)
{
int m = 1;
for (int i = 0; i < 5;++i)
{
m = m+(b * a + b / a);
}
if(m >= a/b)
return (m % 2)&& (a % 2);
else return (b % 2);
}

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

int main()
{
unsigned int a = nondet();
unsigned int b = nondet();
int c = a;
int d = b;
int p = func1( a, b) - func2(a, b);
int q = func1(c, d) - func2(c, d);
assert (q*q >= 0);
assert(p == q);
assert(p + q <= 8);
return 0;
}
    (1-1/1)