hegeltest 0.12.7

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
20
21
22
23
24

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

pub(crate) mod choices;
pub(crate) mod float_index;
pub(crate) mod state;
pub use choices::{
    ChoiceKind, ChoiceNode, ChoiceValue, FloatChoice, NodeSortKey, Status, StopTest, sort_key,
};
pub use float_index::{float_to_index, index_to_float};
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;