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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
