Spelling Fixes

5 files changed, 6 insertions, 6 deletions

diff --git a/test/Expr/ReadExprConsistency.c b/test/Expr/ReadExprConsistency.c
index f71483ba..9b794ee5 100644
--- a/test/Expr/ReadExprConsistency.c
+++ b/test/Expr/ReadExprConsistency.c
@@ -8,7 +8,7 @@
 /*
 This tests checks ensures that only relevant updates are present when doing
 concrete reads. If they are not, there can be situations where ReadExpr are
-in inconcistent state and depend on ordering of other operations.
+in inconsistent state and depend on ordering of other operations.
 
 See
 https://github.com/klee/klee/issues/921
diff --git a/test/Replay/klee-replay/KleeZesti.c b/test/Replay/klee-replay/KleeZesti.c
index a6e0cb26..a964b951 100644
--- a/test/Replay/klee-replay/KleeZesti.c
+++ b/test/Replay/klee-replay/KleeZesti.c
@@ -86,7 +86,7 @@ int main(int argc, char **argv) {
   }
 
   // File sizes get increased to the highest among files, so even B has file size 4.
-  // This is due to the limitaiton of posix-runtime API
+  // This is due to the limitation of posix-runtime API
   if (check_file(argv[5], 4, "ccc") == 0) {
     // CHECK-DAG: Got B file size
     printf("Got B file size\n");
diff --git a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
index c2f0be13..ae202529 100644
--- a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
+++ b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c
@@ -29,11 +29,11 @@ int main(int argc, char** argv) {
     if (y == 0) {
       klee_assume(x == 0);
       x++;
-      // It's fine if the prefered value cannot be used
+      // It's fine if the preferred value cannot be used
       // CHECK_3: x=1, y=0
     } else {
       printf("x is allowed to be 33\n");
-      // The prefered value should be used if it can be
+      // The preferred value should be used if it can be
       // CHECK_2: x=33
     }
   } else {
diff --git a/test/Runtime/POSIX/SymFileConsistency.c b/test/Runtime/POSIX/SymFileConsistency.c
index 0d4501d6..d97f65f0 100644
--- a/test/Runtime/POSIX/SymFileConsistency.c
+++ b/test/Runtime/POSIX/SymFileConsistency.c
@@ -3,7 +3,7 @@
 // RUN: rm -rf %t.klee-out-tmp
 // RUN: %klee --output-dir=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t1.log
 
-// This test checks that symbolic files can be resolved both with a relatve path 
+// This test checks that symbolic files can be resolved both with a relative path
 // ie. 'A' or by its full path ie. '/full/path/to/cwd/A'
 
 #include "klee/klee.h"
diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c
index 60b9c7f4..0b89e413 100644
--- a/test/regression/2014-09-13-debug-info.c
+++ b/test/regression/2014-09-13-debug-info.c
@@ -5,7 +5,7 @@
 // RUN: %klee --output-dir=%t.klee-out --only-output-states-covering-new %t1.bc
 
 // We expect 4 different output states, one for each named value and one "other"
-// one with the prefered CEX. We verify this by using ktest-tool to dump the
+// one with the preferred CEX. We verify this by using ktest-tool to dump the
 // values, and then checking the output.
 //
 // RUN: %ktest-tool %t.klee-out/*.ktest | FileCheck %s