diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-09-14 20:12:34 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-09-14 20:12:34 +0200 |
| commit | 448872a3e885dec5c4ef402e179af17f185a32c0 (patch) | |
| tree | c73e0c1f2b72ac9b118b9833cfd47bd44212730b /test/Runtime | |
| parent | a36cc972f9a8b56f48d90a5c99b9a5cb02a00a3c (diff) | |
| download | klee-448872a3e885dec5c4ef402e179af17f185a32c0.tar.gz | |
Use not test instead of non-existing FAIL.
Diffstat (limited to 'test/Runtime')
| -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> |