diff options
| -rw-r--r-- | test/Runtime/POSIX/FD_Fail2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/FD_Fail2.c b/test/Runtime/POSIX/FD_Fail2.c index cdf1303e..c2e5596b 100644 --- a/test/Runtime/POSIX/FD_Fail2.c +++ b/test/Runtime/POSIX/FD_Fail2.c @@ -10,7 +10,7 @@ // RUN: test -f %t.klee-out/test000002.ktest // RUN: test -f %t.klee-out/test000003.ktest // RUN: test -f %t.klee-out/test000004.ktest -// FAIL: test -f %t.klee-out/test000005.ktest +// RUN: not test -f %t.klee-out/test000005.ktest #include <stdio.h> #include <assert.h> |