diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs index 92473d9031d5888e1a73c6f957f34c4adf86ec6f..54eb583a8ead2a9f514826ca074087982e99f374 100644 --- a/src/lib_klee_replay.rs +++ b/src/lib_klee_replay.rs @@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {} pub fn klee_make_symbolic<T>(t: &mut T) { // force LLVM to consider data to be mutated unsafe { - asm!("bkpt #3") + core::arch::asm!("bkpt #3") } }