Module un_algebra::tests [−][src]
Generative testing support for axioms and properties.
un_algebra
modules that export abstract structure traits also
include a set of generative (proptest) tests for each trait's
axioms and properties.
The tests
module provides random value generators and testing
configuration helper functions for un_algebra
generative tests.
Modules
config |
Testing configurations for |
prelude |
Generative testing support prelude. |
random |
Random value generation for generative tests. |