unittest.prop_test provides the unit test framework with the types and methods required for parameterized tests.
Name Description
emptyIterable<T>() Creates an empty iterator. random<T>() Generates random data of the T type. T must implement the Arbitrary<T> interface. The return value of this function is a parameter source for parameterized tests.
Name Description
Arbitrary Generates random values of the T type. IndexAccess Serves as the utility interface for accessing tuple elements through indexes. RandomSource Provides the capability of randomly generating basic data required by Arbitrary . Shrink Reduces a T-type value to multiple smaller values.
Name Description
Generators Provides auxiliary functions for helping developers compile their own generators. LazySeq Specifies the sequence of T-type values for delay calculation. It is used to calculate and memorize values during iteration. ShrinkHelpers Provides a method for implementing the reduce iterator for tuples.
Name Description
Function0Wrapper Wraps a closure into a struct. TupleWrapper2 Wraps a closure into a struct. The closure contains two parameters. TupleWrapper3 Wraps a closure into a struct. The closure contains three parameters. TupleWrapper4 Wraps a closure into a struct. The closure contains four parameters. TupleWrapper5 Wraps a closure into a struct. The closure contains five parameters.