diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-12 17:55:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-12 17:55:13 +0000 |
| commit | ea338e4a774c513d078ffb183f86d1389b912227 (patch) | |
| tree | 25bf08b446e21e187ae62924b769eccedc4e464a /unittests/Makefile | |
| parent | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (diff) | |
| download | klee-ea338e4a774c513d078ffb183f86d1389b912227.tar.gz | |
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 'unittests/Makefile')
0 files changed, 0 insertions, 0 deletions