Property Test

Design and implement property-based tests that verify invariants across randomized inputs. Use when user says "property test", "invariant test", "fuzz inputs", or wants to discover edge cases that example-based tests miss. Use when this capability is needed.

tomevault-io Updated

File contents

Design and implement property-based tests for the specified target.

Context

Existing test framework: !ls jest.config* vitest.config* pytest.ini pyproject.toml Cargo.toml 2>/dev/null | head -5

Target: $ARGUMENTS

Instructions

  1. Analyze target code and identify algebraic properties (roundtrip, idempotency, invariants, etc.)
  2. Design generators for input types
  3. Implement property tests using the project's framework
  4. Run tests and verify all properties hold
  5. Report any counterexamples found

Source: gr1m0h/dot — distributed by TomeVault.

tomevault-io/skills-registry/tree/main/gr1m0h--dot--property-test commit ac6b7a2525

Frequently asked questions

npx skillmds@latest add tomevault-io/property-test