change from llvm_asm! to asm!

src/lib.rs

@@ -14,7 +14,7 @@
 //! TODO: better documentation (as always)
 
 #![no_std]
-#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
+//#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
 
 // re-exports for klee-analysis
 #[cfg(feature = "klee-analysis")]

src/lib_klee_replay.rs

@@ -8,10 +8,8 @@ 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]