Skip to content
Snippets Groups Projects
Select Git revision
  • 3e49ed21f5514e7a3244a21c3cbebfcc4042929c
  • master default protected
2 results

lib.rs

Blame
    • Forked from Per Lindgren / klee-sys
    Source project has a limited visibility.
    lib.rs 870 B 
    //! 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