diff options
| author | Dan Liew <delcypher@gmail.com> | 2013-12-19 06:51:08 -0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2013-12-19 06:51:08 -0800 |
| commit | 2c04a50f501d861da765ee8d3a0d3531dcbd52af (patch) | |
| tree | 05ebcc77b7c8962e7586f851088b771f84755be1 /lib/Core/Executor.cpp | |
| parent | a7f8d7660815b5e29c123253a2687fedc1f329e3 (diff) | |
| parent | ea338e4a774c513d078ffb183f86d1389b912227 (diff) | |
| download | klee-2c04a50f501d861da765ee8d3a0d3531dcbd52af.tar.gz | |
Merge pull request #76 from srg-imperial/master
Patch by Daniel Lupei, fixing a performance bug with the counterexample cache. (This is an old patch, reported at http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking system.)
Diffstat (limited to 'lib/Core/Executor.cpp')
0 files changed, 0 insertions, 0 deletions