diff options
Diffstat (limited to 'test/Runtime/POSIX/SELinux/SELinux.c')
| -rw-r--r-- | test/Runtime/POSIX/SELinux/SELinux.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/SELinux/SELinux.c b/test/Runtime/POSIX/SELinux/SELinux.c index 65dd1a7f..21bebc4d 100644 --- a/test/Runtime/POSIX/SELinux/SELinux.c +++ b/test/Runtime/POSIX/SELinux/SELinux.c @@ -1,6 +1,7 @@ /* Very basic test, as right now SELinux support is extremely basic */ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc -// RUN: %klee --posix-runtime --exit-on-error %t1.bc --sym-arg 2 > %t.log +// RUN: rm -rf %t.klee-out +// RUN: %klee --output-dir=%t.klee-out --posix-runtime --exit-on-error %t1.bc --sym-arg 2 > %t.log // XFAIL: no-selinux #include <selinux/selinux.h> |