hegeltest 0.12.6

Property-based testing for Rust, built on Hypothesis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// Core types for the native Hypothesis-style test engine.
//
// Split into submodules:
//   choices    — choice types (ChoiceKind, ChoiceNode, ChoiceValue, etc.)
//   state      — NativeTestCase, ManyState, NativeVariables, Span

pub(crate) mod choices;
pub(crate) mod state;
pub use choices::{ChoiceKind, ChoiceNode, ChoiceValue, NodeSortKey, Status, StopTest, sort_key};
pub use state::{ManyState, NativeTestCase, NativeVariables, Span};

/// Maximum number of choices a single test case can make.
pub const BUFFER_SIZE: usize = 8 * 1024;

/// Maximum iterations of the outer shrink loop.
pub const MAX_SHRINK_ITERATIONS: usize = 500;

/// Probability of drawing a boundary/special value per special candidate.
pub const BOUNDARY_PROBABILITY: f64 = 0.01;