1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Smoke framework is a software testing library. The name is
//! linked to the "smoke testing", although this library does
//! more than just "smoke testing".
//!
//! Smoke framework is composed of 3 sub frameworks:
//!
//! * Tests framework : Various testing strategy
//! * Generators framework : generate arbitrary values following generation rules
//! * Runtime : Execution of generation and tests
//!
//! The tests and generator frameworks can be used independently

pub mod generator;
pub mod property;
mod rand;
mod run;
mod ux;

mod initonce;

pub use generator::Generator;
pub use property::Property;
pub use rand::{NumPrimitive, Seed, R};
pub use run::{forall, run, Ensure, Testable};