1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#![crate_name = "quickcheck"]
#![doc(html_root_url = "http://burntsushi.net/rustdoc/quickcheck")]
#![cfg_attr(test, feature(core, step_by))]
#[cfg(feature = "collect_impls")]
extern crate collect;
#[macro_use] extern crate log;
extern crate rand;
pub use arbitrary::{
Arbitrary, Gen, StdGen,
empty_shrinker, single_shrinker,
};
pub use tester::{QuickCheck, Testable, TestResult, quickcheck};
mod arbitrary;
mod tester;
#[cfg(test)]
mod tests;