From 55f1672a6928c2337bdb5952f049c833e21826c2 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Sun, 15 Mar 2020 10:28:52 +0000 Subject: [posix-runtime] Improve model to handle full-path symbolic files --- test/Runtime/POSIX/SymFileConsistency.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'test/Runtime/POSIX') diff --git a/test/Runtime/POSIX/SymFileConsistency.c b/test/Runtime/POSIX/SymFileConsistency.c index 7a28232f..0d4501d6 100644 --- a/test/Runtime/POSIX/SymFileConsistency.c +++ b/test/Runtime/POSIX/SymFileConsistency.c @@ -1,8 +1,7 @@ // REQUIRES: posix-runtime // RUN: %clang %s -emit-llvm %O0opt -c -g -o %t.bc // RUN: rm -rf %t.klee-out-tmp -// RUN: %gentmp %t.klee-out-tmp -// RUN: %klee --run-in-dir=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t1.log +// RUN: %klee --output-dir=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t1.log // This test checks that symbolic files can be resolved both with a relatve path // ie. 'A' or by its full path ie. '/full/path/to/cwd/A' @@ -17,10 +16,14 @@ #include int main(int argc, char **argv) { - struct stat s, s1; + struct stat s, s1, s2; int res = stat("A", &s); char cwd[1024]; getcwd(cwd, 1024); + char *smallest_cwd = malloc(strlen(cwd) + 1); + strcpy(smallest_cwd, cwd); + stat(smallest_cwd, &s2); + free(smallest_cwd); char fullName[1024]; snprintf(fullName, 1024, "%s/%s", cwd, "A"); -- cgit 1.4.1