Property test — AI Dictionary

A test that generates many random inputs and checks that an invariant holds, rather than checking one fixed example.