diff options
| author | Paul Marinescu <paul.marinescu@imperial.ac.uk> | 2013-08-29 15:59:16 +0100 |
|---|---|---|
| committer | Paul Marinescu <paul.marinescu@imperial.ac.uk> | 2013-08-29 15:59:16 +0100 |
| commit | b6939ec17b8341b3e0c9b56475e5986750380991 (patch) | |
| tree | c44ae0525b1fc3ed752d235e9921d7548f65769a /runtime/POSIX/fd.h | |
| parent | 821b6f6473334eaa6c78205603faf14a2c1aca41 (diff) | |
| download | klee-b6939ec17b8341b3e0c9b56475e5986750380991.tar.gz | |
Added some of the common *at functions to the model
Diffstat (limited to 'runtime/POSIX/fd.h')
| -rw-r--r-- | runtime/POSIX/fd.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h index f2780143..cb86295c 100644 --- a/runtime/POSIX/fd.h +++ b/runtime/POSIX/fd.h @@ -79,6 +79,7 @@ void klee_init_env(int *argcPtr, char ***argvPtr); /* *** */ int __fd_open(const char *pathname, int flags, mode_t mode); +int __fd_openat(int basefd, const char *pathname, int flags, mode_t mode); off64_t __fd_lseek(int fd, off64_t offset, int whence); int __fd_stat(const char *path, struct stat64 *buf); int __fd_lstat(const char *path, struct stat64 *buf); |