From 085c54b980a2f62c7c475d32b5d0ce9c6f97904f Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Mon, 9 Dec 2019 11:12:14 +0000 Subject: DiscretePDF: use IDs instead of pointers (see PR #739) --- lib/Core/Searcher.cpp | 2 +- lib/Core/Searcher.h | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index d6cf8dfd..32a1e1bd 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -163,7 +163,7 @@ RandomSearcher::update(ExecutionState *current, /// WeightedRandomSearcher::WeightedRandomSearcher(WeightType type, RNG &rng) - : states(new DiscretePDF()), + : states(new DiscretePDF()), theRNG{rng}, type(type) { switch(type) { diff --git a/lib/Core/Searcher.h b/lib/Core/Searcher.h index fa0440b8..437cf01f 100644 --- a/lib/Core/Searcher.h +++ b/lib/Core/Searcher.h @@ -10,6 +10,7 @@ #ifndef KLEE_SEARCHER_H #define KLEE_SEARCHER_H +#include "ExecutionState.h" #include "PTree.h" #include "klee/ADT/RNG.h" #include "klee/System/Time.h" @@ -30,7 +31,7 @@ namespace llvm { } namespace klee { - template class DiscretePDF; + template class DiscretePDF; class ExecutionState; class Executor; @@ -144,7 +145,7 @@ namespace klee { }; private: - DiscretePDF *states; + DiscretePDF *states; RNG &theRNG; WeightType type; bool updateWeights; -- cgit 1.4.1