Hi,

If I understand correctly, KLEE can use MinDistToUncovered as a weight to
prioritize execution state which is closet to an uncovered instruction.
What if I want to prioritize the state which is closet to a particular
instruction (say, the instruction at line X), instead of an uncovered one?

One way in my mind is to obtain the distance between the state and the
target instruction. Is there such an API in KLEE that can help compute this
dist?

Thanks,
Qiao
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to