Hi, everybody. I am new to klee.
Now I have a problem. Klee generates 3 test cases for the islower() function
after exploring 3 paths.
/*islower.c*/
int islower(char c)
{
if(x >= 'a' && x <= 'z') { return 1;}
else {return 0;}
}// end
But why it just explores 1 path and generate 1 test case for function abs()?
The test case is '0'.
/*absolute value of integer*/
int abs(int x) {
if(x < 0)
return -1*x;
else
return x;
}// end
The difference is that the type of the parameter of two functions are
different. Anyone can tell me why?
Thank you very much!
Best.
Yufeng
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110714/b156b127/attachment.html
