diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:49:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | aba37b07e909b30636e06f33b456af3abaa8ed0e (patch) | |
| tree | 217e05c3d9fdbc845fbad8b58e3c6a965dbf35f6 /lib/Module/CMakeLists.txt | |
| parent | b90f6ad72e7991f3cebb892ff162645bb91168c8 (diff) | |
| download | klee-aba37b07e909b30636e06f33b456af3abaa8ed0e.tar.gz | |
ShiftChecker: Avoid unneeded checks
Do not instrument shift operations with constant shift operations that are smaller than the type size.
Diffstat (limited to 'lib/Module/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions