Hello.
I was wondering if it is possible to find out the coverage achieved for
each input value.
ex:
int foo(int a, int b){
if(a > b)
return 0;
if(a < b)
return 1;
}
if klee test a = 4 and b = 3;
what is the coverage for the input a=4 and b = 3?thank you. -- DOUGLAS SCHROEDER FLORIANÓPOLIS-SC
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
