hello. I have the following question. why when I hava a constraint like "if(x < 0)", klee always set the value of x to -2147483648?? why not something like "-1"? thanks -- DOUGLAS SCHROEDER FLORIANÓPOLIS-SC -------------- next part -------------- HTML attachment scrubbed and removed