github.com/leanovate/gopter (go): Package gopter contain the main interfaces of the GOlang Property TestER.  A simple property test might look like this:  Generally a property is just a function that takes GenParameters and produces a PropResult:  but usually you will use prop.ForAll, prop.ForAllNoShrink or arbitrary.ForAll. There is also the commands package, which can be helpful for stateful testing.    Example_labels demonstrates how labels may help, in case of more complex conditions. The output will be:
Keywords: golang|golang-property-tester|property-based-testing