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(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::*; // 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::*; // functions and macros