diff options
| author | Frederic Kehrein <frederic.kehrein@rwth-aachen.de> | 2019-05-24 15:23:35 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-18 15:47:58 +0000 |
| commit | b552a9f41b3e3b9db56f240f3e96430f4d5ade03 (patch) | |
| tree | 7872ca0aa38ba8996d90257b4c83156d6af3ccbd /tools | |
| parent | 43cded9e512cefcedcb9a759ca3582624ec659e3 (diff) | |
| download | klee-b552a9f41b3e3b9db56f240f3e96430f4d5ade03.tar.gz | |
Added another `ScalarizerLegacyPass` run to remove vectorized code introduced during the optimization step
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions