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
-------------- next part --------------
HTML attachment scrubbed and removed