diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-14 20:48:24 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-14 20:48:24 +0100 |
| commit | ff487123bf3174243554dd183c9fc16063ba876d (patch) | |
| tree | a319f0ed8b8a82cbd1acba83196772d1d88f95a6 /include | |
| parent | f755e643e22cfcad5ebd95c88f02afe1044c1597 (diff) | |
| download | klee-ff487123bf3174243554dd183c9fc16063ba876d.tar.gz | |
Fix lseek and getdents
Wrong data types and casts led to wrong values on 64 bit machines with high values filedescriptor positions. Fixes DirConsistency and DirSeek test case
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions