Property Based Testing

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.

plurigrid Updated

File contents

Property Based Testing Skill

Trit: -1 (MINUS) Category: property-based-testing Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0

Description

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.

When to Use

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.

See: https://github.com/trailofbits/skills

Related Skills

  • audit-context-building
  • codeql
  • semgrep
  • variant-analysis

plurigrid/asi/tree/main/plugins/asi/skills/property-based-testing commit 818713be73

Frequently asked questions

npx skillmds@latest add plurigrid/property-based-testing-2