Property-Based Testing
Finds the algebraic property worth asserting, then writes the generator test around it.
Install
Official/plugin marketplace add trailofbits/skills
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
- Author
- Trail of Bits
- License
- CC-BY-SA-4.0
Starts from a catalog — roundtrip, inverse, oracle, idempotence, invariant, commutativity — ranked weakest to strongest, so the test asserts the strongest rule the code can support instead of settling for 'it did not crash'. Hypothesis, fast-check, proptest, jqwik, rapid and Echidna for contract invariants are all covered, and so is the honest verdict: some code has no property and deserves example tests instead.
Similar skills
Test-Driven Development
SkillForces the red-green-refactor loop before any implementation code is written.
Incremental Implementation
SkillLands features as thin vertical slices that each leave the build green.
Security Guidance
SkillSecurity review of agent-written code at three points: on edit, on stop, and at commit.
Comments(0)
Sign in to comment