diff options
| author | Paul Marinescu <paul.marinescu@imperial.ac.uk> | 2013-11-03 19:07:20 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 17:37:30 +0000 |
| commit | 3160935d77c3fd6d24be7fddd5c570d6b3944c18 (patch) | |
| tree | 1f7afaea2a06744df65cdf55886fd7eb5ec0b2b9 /test/Feature/FloatingPt.c | |
| parent | d2f1684355e9a99545aa864e3eac81b259712a6f (diff) | |
| download | klee-3160935d77c3fd6d24be7fddd5c570d6b3944c18.tar.gz | |
Translate shl overshifts into 0
The other shift operators still need to be changed
Diffstat (limited to 'test/Feature/FloatingPt.c')
0 files changed, 0 insertions, 0 deletions