Spelling Fixes

2 files changed, 3 insertions, 3 deletions

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 {