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.
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