diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-11-09 22:51:48 +0100 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2016-11-09 22:51:48 +0100 |
| commit | 2b2b2b0e46ae260e7974f0d2738f2d23ca255874 (patch) | |
| tree | e02b6c490d84e47fa3f8458660105e0f2507bc13 /lib/Core/StatsTracker.h | |
| parent | e853f0bceeb7099acc3df16e52a3cfd1dabad422 (diff) | |
| download | klee-2b2b2b0e46ae260e7974f0d2738f2d23ca255874.tar.gz | |
Fix BFS searcher
For performance reasons, if KLEE branches, one state is reused and it is progressed by adding new constraints. Make sure both new states end up at the end of the BFS searcher queue.
Diffstat (limited to 'lib/Core/StatsTracker.h')
0 files changed, 0 insertions, 0 deletions