ribs_check
Property-based testing framework for Dart.
Provides primitives for generating random test data (Gen), defining test properties (Prop), and shrinking failing test cases (Shrinker) to find the minimal reproducible failure.
Classes
| Class | Description |
|---|---|
| Choose<A> | Knows how to generate a value of type A uniformly at random within a closed interval [min, max]. |
| Gen<A> | A random generator for values of type A, optionally paired with a Shrinker for counter-example minimisation. |
| Prop<T> | A property-based test that pairs a Gen with a TestBody. |
| PropFailure<T> | Describes a failing sample produced by Prop.check. |
| Shrinker<A> | Knows how to shrink a value of type A toward a simpler form. |
Extensions
Typedefs
| Typedef | Description |
|---|---|
| TestBody<T> | A test body that accepts a single generated value and may throw a TestFailure to signal that the property does not hold. |