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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev