diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-03-06 10:27:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-06 10:27:42 +0000 |
| commit | cb0c4bacc6ec60676e2a7ce84d8ff34e669c5f3d (patch) | |
| tree | ca4f0d20637a2b9dd65ea7717fb960fba674d6f8 | |
| parent | e608c7a77733662e7b3e71b1e929899c718ce06c (diff) | |
| parent | bf9d7a21d68ae83046581aa5880581e3873fe988 (diff) | |
| download | klee-cb0c4bacc6ec60676e2a7ce84d8ff34e669c5f3d.tar.gz | |
Merge pull request #614 from jirislaby/DirSeek
test: POSIX/DirSeek, cleanup
| -rw-r--r-- | test/Runtime/POSIX/DirSeek.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/Runtime/POSIX/DirSeek.c b/test/Runtime/POSIX/DirSeek.c index e017b98d..3908b4e2 100644 --- a/test/Runtime/POSIX/DirSeek.c +++ b/test/Runtime/POSIX/DirSeek.c @@ -23,15 +23,13 @@ #include <string.h> int main(int argc, char **argv) { - struct stat s; - char first[256], second[256]; DIR *d = opendir("."); struct dirent *de = readdir(d); assert(de); strcpy(first, de->d_name); off_t pos = telldir(d); - printf("pos: %d\n", telldir(d)); + printf("pos: %ld\n", telldir(d)); de = readdir(d); assert(de); strcpy(second, de->d_name); |