[klee-dev] about klee inputs

[Dan Liew]

Hi,

On 10 March 2015 at 22:27, douglas schroeder <douglaz88 at gmail.com> 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