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

Extension	on
GenTuple10Ops<A, B, C, D, E, F, G, H, I, J>	Record
GenTuple11Ops<A, B, C, D, E, F, G, H, I, J, K>	Record
GenTuple12Ops<A, B, C, D, E, F, G, H, I, J, K, L>	Record
GenTuple13Ops<A, B, C, D, E, F, G, H, I, J, K, L, M>	Record
GenTuple14Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N>	Record
GenTuple15Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>	Record
GenTuple16Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>	Record
GenTuple17Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>	Record
GenTuple18Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>	Record
GenTuple19Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>	Record
GenTuple20Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>	Record
GenTuple21Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>	Record
GenTuple22Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V>	Record
GenTuple2Ops<A, B>	Record
GenTuple3Ops<A, B, C>	Record
GenTuple4Ops<A, B, C, D>	Record
GenTuple5Ops<A, B, C, D, E>	Record
GenTuple6Ops<A, B, C, D, E, F>	Record
GenTuple7Ops<A, B, C, D, E, F, G>	Record
GenTuple8Ops<A, B, C, D, E, F, G, H>	Record
GenTuple9Ops<A, B, C, D, E, F, G, H, I>	Record
PropOps<A>	Gen<A>
PropTuple10Ops<A, B, C, D, E, F, G, H, I, J>	Record
PropTuple11Ops<A, B, C, D, E, F, G, H, I, J, K>	Record
PropTuple12Ops<A, B, C, D, E, F, G, H, I, J, K, L>	Record
PropTuple13Ops<A, B, C, D, E, F, G, H, I, J, K, L, M>	Record
PropTuple14Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N>	Record
PropTuple15Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>	Record
PropTuple16Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>	Record
PropTuple17Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>	Record
PropTuple18Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>	Record
PropTuple19Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>	Record
PropTuple20Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>	Record
PropTuple21Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>	Record
PropTuple22Ops<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V>	Record
PropTuple2Ops<A, B>	Record
PropTuple3Ops<A, B, C>	Record
PropTuple4Ops<A, B, C, D>	Record
PropTuple5Ops<A, B, C, D, E>	Record
PropTuple6Ops<A, B, C, D, E, F>	Record
PropTuple7Ops<A, B, C, D, E, F, G>	Record
PropTuple8Ops<A, B, C, D, E, F, G, H>	Record
PropTuple9Ops<A, B, C, D, E, F, G, H, I>	Record

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.