Users would like to know how things about their property-based tests, such as how many values were generated, and what is their distribution. Using test annotations, we can now do this quite cleanly.
To add a test annotation and renderer, the following process must be followed:
Add a new TestAnnotation, one which keeps track of property-based testing metadata
Access the test annotation from within the generators
Define a new renderer for the TestAnnotation
Compose the new renderer with the default test annotation renderer
adamgfraser
commented
4 years ago
Users would like to know how things about their property-based tests, such as how many values were generated, and what is their distribution. Using test annotations, we can now do this quite cleanly.
To add a test annotation and renderer, the following process must be followed:
TODO: Define scope.