lib.rs

//! Documentation:
//!
//! ```
//! cargo doc --features klee-analysis --open
//!
//! cargo doc --features klee-replay --features inline-asm --open
//! ```
//!
//! Notice that replay requires the `inline asm` feature.
//!
//! TODO: unfortunately it seems that attributes only can apply to a single item
//! so the conditionals have to be repeated
//!
//! TODO: better documentation (as always)

#![no_std]
//#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]

// re-exports for klee-analysis
#[cfg(feature = "klee-analysis")]
mod lib_klee_analysis;
#[cfg(feature = "klee-analysis")]
pub mod ll; // low level bindings
#[cfg(feature = "klee-analysis")]
pub use lib_klee_analysis::*; // re-export functions and macros

// re-exports for klee-replay
#[cfg(feature = "klee-replay")]
mod lib_klee_replay;
#[cfg(feature = "klee-replay")]
pub use lib_klee_replay::*; // re-export functions and macros

#[cfg(all(not(feature = "klee-analysis"), not(feature = "klee-replay")))]
compile_error!("feature required, either `klee-analysis` or `klee-replay`");