Lightlines
By trailofbits

property-based-testing

trailofbits6.2k installs

Find bugs across your code's whole input range.

What it does

Writes and reviews property-based tests and classifies failures to distinguish flawed tests from genuine code bugs.

When to use it

Use when tests should cover an entire input domain, when extending or reviewing existing property tests, or when interpreting shrunk counterexamples.

How to use it

Give it project code or existing property tests; it writes tests, reviews their quality, or explains whether a failing counterexample reveals a bug.

What you provide

  • An existing project

Latest review

What you need · 0

No setup requirements listed.


Access · 0

No additional actions listed.