diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-12-09 11:12:14 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-08-19 15:07:05 +0100 |
| commit | 085c54b980a2f62c7c475d32b5d0ce9c6f97904f (patch) | |
| tree | e72ef2297a157287c448c1c3783cea5f3b47aab0 /lib/Core/Searcher.cpp | |
| parent | a86d95595d2c87ad794bba77aac0214d1f43ddfc (diff) | |
| download | klee-085c54b980a2f62c7c475d32b5d0ce9c6f97904f.tar.gz | |
DiscretePDF: use IDs instead of pointers (see PR #739)
Diffstat (limited to 'lib/Core/Searcher.cpp')
| -rw-r--r-- | lib/Core/Searcher.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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<ExecutionState*>()), + : states(new DiscretePDF<ExecutionState*, ExecutionStateIDCompare>()), theRNG{rng}, type(type) { switch(type) { |