Hi Qiao,
Currently, there is no direct support for this.
But, to hack it - under the assumption you don’t need the coverage-guided
searcher - you can modify the `StatsTracker::computeReachableUncovered`
function
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?