diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 12:48:43 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 12:48:43 +0200 |
| commit | a3d7313ac9f844bd42d33f7e0dea08fee768a837 (patch) | |
| tree | aeed918e792cedb052bf6866c67f3412c51c99db /TODO.txt | |
| parent | d4f5d50f53b37223b62047782a3e86839922093b (diff) | |
| download | klee-a3d7313ac9f844bd42d33f7e0dea08fee768a837.tar.gz | |
remove bitmasking shift amount in constructAShrByConstant and make it return 0 when overshifting
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions