[klee-dev] Complete Input with klee

[ANAS faruqui]

Hello all,

I want klee to output only the complete inputs and do not take the early
termination paths.

For example : if we have a code as following

int a, b, c;

if(a==5)
exit(1);

if (b==5)
exit(1);

if (c==5)
exit(1);

printf("success")'

KLEE gives me many cases which include a or b or c = 5.

What changes can i do (in KLEE   or in the code) so that it will only
output cases which would contain all a, b, c, !=5.

In other words can I force klee to make a condition always false or true?


thanks
-------------- next part --------------
HTML attachment scrubbed and removed