[klee-dev] coverage per input

[douglas schroeder]

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
-------------- next part --------------
HTML attachment scrubbed and removed