README.md

rapid

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).

Implemented challenges

Challenge	Code	Report
bound5	TestBound5	bound5.md
large union list	TestLargeUnionList	large_union_list.md
reverse	TestReverse	reverse.md
length list	TestLengthList	lengthlist.md
difference	TestDifferenceNotZero	difference_must_not_be_zero.md
	TestDifferenceNotSmall	difference_must_not_be_small.md
	TestDifferenceNotOne	difference_must_not_be_one.md
coupling	TestCoupling	coupling.md
deletion	TestDeletion	deletion.md
distinct	TestDistinct	distinct.md
nestedlists	TestNestedLists	nestedlists.md

Running tests

To run e.g. bound5 test, run go test -run=TestBound5. To view the list of all tests, run go test -list ..

Generating reports

To re-generate all reports, run go run runner.go.