Property-based testing and invariants

Knowledge package outline

Topic

Computation and software foundations

Purpose

Checks classes of inputs rather than a few examples.

Package contents

Generated data; shrinking; invariant counterexamples.

Dependencies

Logic; testing.