about summary refs log tree commit diff homepage
path: root/examples
diff options
context:
space:
mode:
authorDan Liew <delcypher@gmail.com>2013-12-19 06:51:08 -0800
committerDan Liew <delcypher@gmail.com>2013-12-19 06:51:08 -0800
commit2c04a50f501d861da765ee8d3a0d3531dcbd52af (patch)
tree05ebcc77b7c8962e7586f851088b771f84755be1 /examples
parenta7f8d7660815b5e29c123253a2687fedc1f329e3 (diff)
parentea338e4a774c513d078ffb183f86d1389b912227 (diff)
downloadklee-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 'examples')
0 files changed, 0 insertions, 0 deletions