runner

Implements the property test runner and configuration.

Structs

• ​PropTest: A property test runner.
• ​PropTestConfig: A configuration for a property test.