From 74462f1b782b4f4635067c6ab0f99f58a0fc6ef0 Mon Sep 17 00:00:00 2001 From: Per Lindgren <per.lindgren@ltu.se> Date: Fri, 17 Jan 2020 23:47:54 +0100 Subject: [PATCH] small fixes --- src/lib_klee_analysis.rs | 2 +- src/lib_klee_replay.rs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib_klee_analysis.rs b/src/lib_klee_analysis.rs index 08deefc..5984d61 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 2f40b0f..4cf3ad1 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 ) => { -- GitLab