5 files changed, 17 insertions, 17 deletions
diff --git a/test/Runtime/POSIX/FD_Fail2.c b/test/Runtime/POSIX/FD_Fail2.c
index c9195f66..1eaeb649 100644
--- a/test/Runtime/POSIX/FD_Fail2.c
+++ b/test/Runtime/POSIX/FD_Fail2.c
@@ -1,12 +1,12 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
 // RUN: %klee --libc=uclibc --posix-runtime --init-env %t1.bc --sym-files 0 0 --max-fail 1
-// RUN: test -f klee-last/test000001.bout
-// RUN: test -f klee-last/test000002.bout
-// RUN: test -f klee-last/test000003.bout
-// RUN: test -f klee-last/test000004.bout
-// RUN: test -f klee-last/test000005.bout
-// RUN: test -f klee-last/test000006.bout
-// RUN: test -f klee-last/test000007.bout
+// RUN: test -f klee-last/test000001.ktest
+// RUN: test -f klee-last/test000002.ktest
+// RUN: test -f klee-last/test000003.ktest
+// RUN: test -f klee-last/test000004.ktest
+// RUN: test -f klee-last/test000005.ktest
+// RUN: test -f klee-last/test000006.ktest
+// RUN: test -f klee-last/test000007.ktest
 
 #include <stdio.h>
 #include <assert.h>
diff --git a/test/Runtime/POSIX/FilePerm.c b/test/Runtime/POSIX/FilePerm.c
index 818d482f..0cb0a7e8 100644
--- a/test/Runtime/POSIX/FilePerm.c
+++ b/test/Runtime/POSIX/FilePerm.c
@@ -1,8 +1,8 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc
 // RUN: %klee --posix-runtime --init-env %t.bc --sym-files 1 10 --sym-stdout 2>%t.log 
-// RUN: test -f klee-last/test000001.bout
-// RUN: test -f klee-last/test000002.bout
-// RUN: test -f klee-last/test000003.bout
+// RUN: test -f klee-last/test000001.ktest
+// RUN: test -f klee-last/test000002.ktest
+// RUN: test -f klee-last/test000003.ktest
 
 #include <stdio.h>       
 #include <sys/types.h>
diff --git a/test/Runtime/POSIX/Isatty.c b/test/Runtime/POSIX/Isatty.c
index 6a78dc96..294312dc 100644
--- a/test/Runtime/POSIX/Isatty.c
+++ b/test/Runtime/POSIX/Isatty.c
@@ -1,10 +1,10 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc
 // RUN: %klee --libc=uclibc --posix-runtime --init-env %t.bc --sym-files 0 10 --sym-stdout 2>%t.log
 
-// RUN: test -f klee-last/test000001.bout
-// RUN: test -f klee-last/test000002.bout
-// RUN: test -f klee-last/test000003.bout
-// RUN: test -f klee-last/test000004.bout
+// RUN: test -f klee-last/test000001.ktest
+// RUN: test -f klee-last/test000002.ktest
+// RUN: test -f klee-last/test000003.ktest
+// RUN: test -f klee-last/test000004.ktest
 
 // RUN: grep -q "stdin is a tty" %t.log
 // RUN: grep -q "stdin is NOT a tty" %t.log
diff --git a/test/Runtime/POSIX/PrgName.c b/test/Runtime/POSIX/PrgName.c
index 19a56889..5bed4335 100644
--- a/test/Runtime/POSIX/PrgName.c
+++ b/test/Runtime/POSIX/PrgName.c
@@ -1,7 +1,7 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t2.bc
 // RUN: %klee --init-env --posix-runtime --exit-on-error %t2.bc --sym-arg 10 >%t.log
-// RUN: test -f klee-last/test000001.bout
-// RUN: test -f klee-last/test000002.bout
+// RUN: test -f klee-last/test000001.ktest
+// RUN: test -f klee-last/test000002.ktest
 // RUN: grep -q "No" %t.log
 // RUN: grep -qv "Yes" %t.log
 
diff --git a/test/Runtime/POSIX/SeedAndFail.c b/test/Runtime/POSIX/SeedAndFail.c
index 64cf79bd..4d81e2d7 100644
--- a/test/Runtime/POSIX/SeedAndFail.c
+++ b/test/Runtime/POSIX/SeedAndFail.c
@@ -1,7 +1,7 @@
 // RUN: %llvmgcc %s -emit-llvm -g -O0 -c -o %t.bc
 // RUN: rm -rf tmp-123
 // RUN: %klee --libc=klee --output-dir=tmp-123 --posix-runtime --init-env %t.bc --sym-files 1 10  2>%t.log
-// RUN: klee --seed-out-dir=tmp-123 --zero-seed-extension --libc=uclibc --posix-runtime --init-env %t.bc --sym-files 1 10 --max-fail 1
+// RUN: %klee --seed-out-dir=tmp-123 --zero-seed-extension --libc=uclibc --posix-runtime --init-env %t.bc --sym-files 1 10 --max-fail 1
 // RUN: ls klee-last | grep -c assert | grep 4