change from llvm_asm! to asm!

src/lib_klee_replay.rs

@@ -8,8 +8,10 @@ pub fn klee_assume(_cond: bool) {}
 #[inline(always)]
 pub fn klee_make_symbolic<T>(t: &mut T) {
     // force LLVM to consider data to be mutated
+    unsafe {
         core::arch::asm!("bkpt #3")
     }
+}
 
 /// terminates path
 #[macro_export]