There is a constraints like x >=0 && x < 3 && x > a[x],where a[3] =
{1,2,3}
I want to know how klee to judge its validity,when a[3] = {4,5,6},its
validity is -1
and when a[3] = {1,2,3},how to solve a test case.
Thanks very much
Yours' qingyang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
