diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-09-02 22:37:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-09-02 22:37:00 +0000 |
| commit | 9702b978795d8e0518e211bc0a3789363157fb16 (patch) | |
| tree | 5835091594c0b3391734d5bb99a7df20c335e3db /examples | |
| parent | 90d8a6fb1a71c030f87fff5685b5d6f39ed4ac09 (diff) | |
| download | klee-9702b978795d8e0518e211bc0a3789363157fb16.tar.gz | |
Applied patch from David Ramos that fixes a bug in minDistToUncovered
calculation: "Functions with a single instruction were erroneously treated as never returning. This propagated far, making many instructions unreachable according to this metric." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@139045 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions