Skill
Property-Based Testing
Finds the algebraic property worth asserting, then writes the generator test around it.
Install
Official/plugin marketplace add trailofbits/skills
Triggers on
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Needs tools
ReadWriteEditBash
- Author
- Trail of Bits
- License
- CC-BY-SA-4.0
Repositoryhttps://github.com/trailofbits/skills
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.
Comments(0)
Sign in to comment