Hi, On 10 March 2015 at 22:27, douglas schroeder <[email protected]> wrote: > 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"?
It is up to KLEE's constraint solver to pick a value and if the constraint is x < 0 then -2147483648 is perfectly fine. If you used a different solver in KLEE then you could quite easily get a different value. If you desire a particular value you can use klee_prefer_cex() to suggest to KLEE a particular value for x. See [1] as an example. [1] https://github.com/klee/klee/blob/master/test/Feature/PreferCex.c _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
