Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking").
Rapid uses Hypothesis's approach of integrated data generation and shrinking: data generation creates a labeled stream of random bits, and shrinking tries to simplify this stream without any high-level knowledge about generated values. Values drawn from the simplified stream are simpler (because the generators are specifically constructed this way).
To run e.g. bound5
test, run go test -run=TestBound5
. To view the list of all tests, run go test -list .
.
To re-generate all reports, run go run runner.go
.