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

-#[cfg(not(feature = "inline-asm"))]
-compile_error!("klee-replay requires feature `inline-asm`");
+//#[cfg(not(feature = "inline-asm"))]
+//compile_error!("klee-replay requires feature `inline-asm`");
 
 /// suppress assumption
 #[inline(always)]
@@ -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 {
-        llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
+        core::arch::asm!("bkpt #2")
     }
 }