diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-25 07:36:44 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-25 07:36:44 -0700 |
| commit | 43138101d048394690a90fd9f5a6fb0df916161c (patch) | |
| tree | 70e9d4a75804cc2ef12bda03fd029c013462e123 /runtime/POSIX/stubs.c | |
| parent | 1510c721187f1e838d30fca376af2ab5af90ee6c (diff) | |
| parent | 90601a60fb6a0f22337c46680f150ec04ad3c6cb (diff) | |
| download | klee-43138101d048394690a90fd9f5a6fb0df916161c.tar.gz | |
Merge pull request #25 from paulmar/master
Added some of the common *at functions & others to the model. Obey --max-forks in switch statements.
Diffstat (limited to 'runtime/POSIX/stubs.c')
| -rw-r--r-- | runtime/POSIX/stubs.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/runtime/POSIX/stubs.c b/runtime/POSIX/stubs.c index 3a9d380c..7a424d05 100644 --- a/runtime/POSIX/stubs.c +++ b/runtime/POSIX/stubs.c @@ -222,13 +222,6 @@ int utime(const char *filename, const struct utimbuf *buf) { return -1; } -int utimes(const char *filename, const struct timeval times[2]) __attribute__((weak)); -int utimes(const char *filename, const struct timeval times[2]) { - klee_warning("ignoring (EPERM)"); - errno = EPERM; - return -1; -} - int futimes(int fd, const struct timeval times[2]) __attribute__((weak)); int futimes(int fd, const struct timeval times[2]) { klee_warning("ignoring (EBADF)"); |