diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2020-04-14 13:27:29 +1000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-06-24 22:13:15 +0100 |
| commit | e4a2ca614279c8b6febe35edf169eb38c0d85178 (patch) | |
| tree | 1dfcbca0d875b89ee5c302dbef3b1fdbc92651ce /lib/CMakeLists.txt | |
| parent | ecdddd94fdad39fcb17fe256715cf4cc9bacbfb9 (diff) | |
| download | klee-e4a2ca614279c8b6febe35edf169eb38c0d85178.tar.gz | |
StatsTracker: initialize indexed stats when user searcher requires MD2U
This is the same check used in Executor::setModule. Without this check, KLEE will segfault in StatisticsManager::incrementIndexedValue, getIndexedValue, and setIndexedValue when `-output-stats=false` or `-output-istats=false` because StatisticsManager::indexedStats has not been allocated.
Diffstat (limited to 'lib/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions