Rapid is a Go library for property-based testing.

Rapid checks that properties you define hold for a large number of automatically generated test cases. If a failure is found, rapid automatically minimizes the failing test case before presenting it.

Features:

• imperative Go API with type-safe data generation using generics

• data generation biased to explore "small" values and edge cases more thoroughly

• fully automatic minimization of failing test cases

• persistence and automatic re-running of minimized failing test cases

• support for state machine ("stateful" or "model-based") testing

• no dependencies outside the Go standard library