diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-04-11 16:43:01 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:13:21 +0100 |
| commit | d3aee9c0e619fa097e296de81de93a09aaab82f2 (patch) | |
| tree | 01bd41526ea0cbcb05f5092870fac47be9b409f4 /lib/Core/Context.h | |
| parent | 3c42e214fb2ec4a101dd1e91e2d8c1ce4983a569 (diff) | |
| download | klee-d3aee9c0e619fa097e296de81de93a09aaab82f2.tar.gz | |
fix BatchingSearcher's disabled time budget
The functionality of the batching searcher that increases the time budget if it is shorter than the time between two calls to `selectState()` ignored the disabled time budget. Effectively, the batching searcher thus picks a very arbitrary time budget on its own.
Diffstat (limited to 'lib/Core/Context.h')
0 files changed, 0 insertions, 0 deletions