diff options
Diffstat (limited to 'lib/Core/Searcher.cpp')
| -rw-r--r-- | lib/Core/Searcher.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index e94511ea..d8b76ef2 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -159,6 +159,7 @@ WeightedRandomSearcher::WeightedRandomSearcher(WeightType type, RNG &rng) switch(type) { case Depth: case RP: + case PatchLocCount: updateWeights = false; break; case InstCount: @@ -200,6 +201,8 @@ double WeightedRandomSearcher::getWeight(ExecutionState *es) { return (es->queryMetaData.queryCost.toSeconds() < .1) ? 1. : 1. / es->queryMetaData.queryCost.toSeconds(); + case PatchLocCount: + return es->patchLocs; case CoveringNew: case MinDistToUncovered: { uint64_t md2u = computeMinDistToUncovered(es->pc, |