diceprop 0.3.0

Mathematical properties for random testing
Documentation 
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

//! A collection of mathematical properties for random testing.
//!
//! It's based on [dicetest].
//!
//! [dicetest]: https://crates.io/crates/dicetest
//!
//! # Example
//!
//! ```no_run
//! use diceprop::{props, Fun2, Set};
//! use dicetest::prelude::*;
//!
//! #[test]
//! fn wrapping_add_is_associative_for_u32() {
//!     Dicetest::repeatedly().run(|mut fate| {
//!         let set = Set::new("u32", dice::u32(..));
//!         let vars = fate.roll(set.vars(["x", "y", "z"]));
//!         let add = Fun2::infix("+", |x, y| u32::wrapping_add(x, y));
//!         props::binop::associative(vars, add);
//!     })
//! }
//! ```

#[macro_use]
mod eval;
pub use eval::Eval;

mod elem;
pub use elem::Elem;

mod vars;
pub use vars::Vars;

mod set;
pub use set::Set;

mod fun;
pub use fun::{Fun1, Fun1Label, Fun2, Fun2Label, Fun3, Fun3Label};

pub mod ops;

pub mod props;

// Test examples from the readme.
#[doc = include_str!("../README.md")]
#[cfg(doctest)]
pub struct ReadmeDoctests;