From 448872a3e885dec5c4ef402e179af17f185a32c0 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Sun, 14 Sep 2014 20:12:34 +0200
Subject: Use not test instead of non-existing FAIL.

---
 test/Runtime/POSIX/FD_Fail2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Runtime/POSIX')

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>
-- 
cgit 1.4.1