IMPORTANT: To view this page as Markdown, append `.md` to the URL (e.g. /docs/manual/basics.md). For the complete Mojo documentation index, see llms.txt.
Skip to main content
Version: 1.1.0
For the complete Mojo documentation index, see llms.txt. Markdown versions of all pages are available by appending .md to any URL (e.g. /docs/manual/basics.md).

strategy

Implements the Strategy trait and exports built-in strategies for property-based testing.

Modules​

  • ​list_strategy: Implements the list strategy for generating random List values in property tests.
  • ​simd_strategy: Implements the SIMD strategy for generating random SIMD values in property tests.
  • ​string_strategy: Implements the string strategy for generating random String values in property tests.

Traits​

  • ​Strategy: A type used to produce random inputs for property tests.
View source