diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs index 4cf3ad1ec86e3478f35e1ac0d80b069ad8504dfe..be3b3e24d3de0d7f03629606fabcc99ae66393f5 100644 --- a/src/lib_klee_replay.rs +++ b/src/lib_klee_replay.rs @@ -4,6 +4,9 @@ use cstr_core::c_char; #[doc(hidden)] pub use cstr_core::CStr; +#[cfg(not(feature = "inline-asm"))] +compile_error!("klee-replay requires feature `inline-asm`"); + #[inline(always)] fn klee_abort() -> ! { panic!();