diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-11-08 12:25:59 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-12-12 17:50:24 +0000 |
| commit | b715ffa0c805f4d4813f0cda8b17eeb618e1ebf0 (patch) | |
| tree | 90531bdb8339f2733a291d2e8a6465498cad1fa2 /lib/Solver/KQueryLoggingSolver.cpp | |
| parent | 3f2f8aa30b35bb87fa7b7aa914233437b5d68cb2 (diff) | |
| download | klee-b715ffa0c805f4d4813f0cda8b17eeb618e1ebf0.tar.gz | |
[optimize-array] Fix hole index in buildMixedSelectExpr
buildMixedSelectExpr was using the byte index for holes in the
select condition instead of the word based one. This only occured
if there was more than 1 hole.
Diffstat (limited to 'lib/Solver/KQueryLoggingSolver.cpp')
0 files changed, 0 insertions, 0 deletions