home/categories/testing/trailofbits-skills-plugins-property-based-testing-skills-property-based-testing-skill-md
testingtesting-security

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.

trailofbits
maintainer
trailofbits
更新日 2/11/2026
スター
4466
フォーク
385
quick start

Installation and usage

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.

インストール
$ install --globalskills.sh
使い方

インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます:

skills use property-based-testing