diff options
| -rw-r--r-- | test/Runtime/POSIX/FileTime.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/Runtime/POSIX/FileTime.c b/test/Runtime/POSIX/FileTime.c index bf669e36..489c09ed 100644 --- a/test/Runtime/POSIX/FileTime.c +++ b/test/Runtime/POSIX/FileTime.c @@ -1,14 +1,14 @@ -// This tests the functionality of setting and getting file access time and modification time +// Tests the functionality of setting and getting file access and modification times // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc // RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out --libc=uclibc --posix-runtime %t1.bc --sym-files 0 0 --max-fail 1 +// RUN: %klee --output-dir=%t.klee-out --libc=uclibc --posix-runtime %t1.bc --sym-files 1 1 #include <stdio.h> #include <assert.h> #include <sys/stat.h> #include <sys/time.h> -const char filePath[] = "Some-File"; +const char filePath[] = "A"; int main(int argc, char** argv) { @@ -21,7 +21,7 @@ int main(int argc, char** argv) { struct timeval now; gettimeofday(&now, NULL); - struct timeval times[2] = {now}; + struct timeval times[2] = {now, now}; times[1].tv_sec += 100; // Introduce difference between access time and modification time utimes(filePath, times); @@ -42,6 +42,6 @@ int main(int argc, char** argv) { assert(sb.st_atim.tv_sec >= now.tv_sec && sb.st_atim.tv_sec <= someTimeAfter.tv_sec); assert(sb.st_mtim.tv_sec >= now.tv_sec && sb.st_mtim.tv_sec <= someTimeAfter.tv_sec); - + return 0; } |