...
 
Commits (2)
......@@ -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 ) => {{
......
......@@ -4,6 +4,9 @@ use cstr_core::c_char;
#[doc(hidden)]
pub use cstr_core::CStr;
#[cfg(not(feature = "inline-asm"))]
compile_error!("klee-replay requires feature `inline-asm`");
#[inline(always)]
fn klee_abort() -> ! {
panic!();
......@@ -15,7 +18,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 +32,7 @@ macro_rules! klee_abort {
};
}
/// condititonally terminates path
/// conditionally terminates path
#[macro_export]
macro_rules! klee_assert {
($e:expr) => {
......@@ -37,7 +40,7 @@ macro_rules! klee_assert {
};
}
/// condititonally terminates path
/// conditionally terminates path
#[macro_export]
macro_rules! klee_assert_eq {
($e1:expr, $e2:expr ) => {
......