small fixes

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 ) => {{

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 ) => {