A simple quickcheck inspired library to generate growable/shrinkable random data mainly oriented towards generative/property/exploratory testing.
One would use this library to prove that certain properties hold for a program for a tentatively representative sample of their input space.
Generate trait that is implemented for many of rust's standard types allows the generation of any random composite data through combinator (such as tuples, Any, Map, Flatten and more). It is designed for composability and its usage should feel like working with Iterators.Shrink trait tries to reduce a generated sample to a 'smaller' version of it while maintaining its constraints (ex: a sample usize in the range 10..100 will never be shrunk out of its range). For numbers, it means bringing the sample closer to 0, for vectors, it means removing irrelevant items and shrinking the remaining ones, etc..Prove trait is meant to represent a desirable property of a system under test. It is used mainly in the context of the Generate::check or Checker::check methods and it is the failure of a proof that triggers the shrinking process. It is implemented for a couple of standard types such as bool and Result.```rust use checkito::{check::Error, regex::Regex, *};
struct Composite(String, f64);
// Parse this pattern as a Regex which implements the Generate trait.
let regex = "[a-zA-Z0-9_]*".parse::f64 ranges implement the Generate trait.
let number = 10.0f64..;
// Combine the previous Generate implementations and map them to a custom struct.
let composite = (regex, number).map(|pair| Composite(pair.0, pair.1));
// Generate 1000 Composite values which are checked to be alphanumeric.
// Generate::check will fail when a '' will appear in value.0 and the shrinking process will begin.
let result: Result<_, _> = composite.check(1000, |value: &Composite| {
value.0.chars().all(|character| character.isalphanumeric())
});
// result will be Err and will hold the original and shrunk values.
let error: ErrorComposite("_", 10.0).
let _shrunk: &Composite = error.shrunk();
// Alternatively, generated samples can be retrieved directly, bypassing shrinking. for value in composite.samples(1000) { assert!(value.0.chars().all(|character| character.is_alphanumeric())); } ```
See the examples and tests folder for more detailed examples.