From 3d0ccd8099e39ce0ce7885c4cfdd80fbc88ef99f Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 17 Jan 2020 23:51:37 +0100
Subject: [PATCH] compiler error on lacking inline asm
---
src/lib_klee_replay.rs | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 4cf3ad1..be3b3e2 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!();
--
GitLab