Property-based testing with zazr-test
Zazr comes with a second artifact, zazr-test, for property-based testing. You state a rule that must hold for every
input, and it tries the rule on hundreds of generated inputs. It runs inside the tests you already have, JUnit or
any other framework.
This post shows what property-based testing is, how to write a check and read its failure, how to generate values and explain failures, how to replay a failure, and how to check the rules of your own types.