[klee-dev] Reduce Test count of KLEE

[Saksham Jain]

Hi,

I am facing the problem of path explosion but I am facing it at exponential
rate. I am trying to test a function 'test' as shown below.

int main () {
-------------- next part --------------
HTML attachment scrubbed and removed