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 /tools | |
| 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 'tools')
0 files changed, 0 insertions, 0 deletions