property-based test
A test that checks a rule holds for hundreds of random inputs instead of a few chosen examples.
A property-based test states an invariant and lets a library (proptest) generate many inputs, shrinking any failure to a minimal counterexample.