diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 13:56:46 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 13:56:58 +0200 |
| commit | 4e2c9edd3f89f42bc4629ede54987f9351958952 (patch) | |
| tree | 51cc59a2ea0cd275831164c175da2420ed6ea33b /lib/Core/Executor.h | |
| parent | 0d199e6174fa03893a64e3781368410368a1235c (diff) | |
| download | klee-4e2c9edd3f89f42bc4629ede54987f9351958952.tar.gz | |
Add feature to dump statistics after n instructions
Add -stats-write-after-instructions and -istats-write-after-instructions to update each statistic after n steps. Furthermore, the metric "minimal distance to uncovered state" is now updated independently if statistics are enabled or not. This metric is needed i.e. by weighted random searchers directed towards uncovered instructions. Remove some dead code.
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions