Skip to content
Snippets Groups Projects
Commit 3d0ccd80 authored by Per Lindgren's avatar Per Lindgren
Browse files

compiler error on lacking inline asm

parent 74462f1b
Branches
No related tags found
No related merge requests found
......@@ -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!();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment