Commit f30fd92b authored by Per Lindgren's avatar Per Lindgren

compiler error on missing feauture

parent 93d29150
......@@ -29,3 +29,6 @@ pub use lib_klee_analysis::*; // functions and macros
mod lib_klee_replay;
#[cfg(feature = "klee-replay")]
pub use lib_klee_replay::*; // functions and macros
#[cfg(all(not(feature = "klee-analysis"), not(feature = "klee-replay")))]
compile_error!("feature required, either `klee-analysis` or `klee-replay`");
......@@ -4,11 +4,6 @@ use cstr_core::c_char;
#[doc(hidden)]
pub use cstr_core::CStr;
#[inline(always)]
fn klee_abort() -> ! {
unsafe { crate::ll::abort() };
}
/// introduces assumption
#[inline(always)]
pub fn klee_assume(cond: bool) {
......@@ -17,7 +12,7 @@ pub fn klee_assume(cond: bool) {
}
}
/// makes refence symbolic
/// makes reference symbolic
#[inline(always)]
pub fn klee_make_symbolic<T>(t: &mut T, name: &'static CStr) {
unsafe {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment