diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-06 10:16:38 +0100 |
---|---|---|
committer | Jiri Slaby <jirislaby@gmail.com> | 2017-03-06 10:17:35 +0100 |
commit | bf9d7a21d68ae83046581aa5880581e3873fe988 (patch) | |
tree | 80f12253e23bf721cae87d842f442aa4fcfbd439 /test/Runtime | |
parent | d2490908daee27974f8a03c8c7c80930d39f6098 (diff) | |
download | klee-bf9d7a21d68ae83046581aa5880581e3873fe988.tar.gz |
test: POSIX/DirSeek, cleanup
* remove unused stat variable * use %ld for long int Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'test/Runtime')
-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); |