diff --git a/src/lib_klee_analysis.rs b/src/lib_klee_analysis.rs
index 08deefce70af09f909e277f08cf9635ade6c872f..5984d612d55635cb6fe555e9e8e5b9ca660e568c 100644
--- a/src/lib_klee_analysis.rs
+++ b/src/lib_klee_analysis.rs
@@ -42,7 +42,7 @@ macro_rules! klee_assert {
     }};
 }
 
-/// condititonally terminates path (and generates unique test)
+/// conditionally terminates path (and generates unique test)
 #[macro_export]
 macro_rules! klee_assert_eq {
     ($e1:expr, $e2:expr ) => {{
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 2f40b0faa6ca51b72d69f894b53aaa3abb60e6c1..4cf3ad1ec86e3478f35e1ac0d80b069ad8504dfe 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -15,7 +15,7 @@ pub fn klee_assume(_cond: bool) {}
 
 #[inline(always)]
 pub fn klee_make_symbolic<T>(t: &mut T) {
-    // force llvm to consider data to be mutaded
+    // force LLVM to consider data to be mutated
     unsafe {
         asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
     }
@@ -29,7 +29,7 @@ macro_rules! klee_abort {
     };
 }
 
-/// condititonally terminates path
+/// conditionally terminates path
 #[macro_export]
 macro_rules! klee_assert {
     ($e:expr) => {
@@ -37,7 +37,7 @@ macro_rules! klee_assert {
     };
 }
 
-/// condititonally terminates path
+/// conditionally terminates path
 #[macro_export]
 macro_rules! klee_assert_eq {
     ($e1:expr, $e2:expr ) => {