/Docs/Standard Library/testing/propVersion: 1.0On this pageprop A property testing package. Packages strategy: Implements the Strategy trait and exports built-in strategies for property-based testing. Modules random: Implements random number generation for property-based testing. runner: Implements the property test runner and configuration.