Custom_Generator

A generator the property uses for every argument (or part of one) of the type it returns, in place of the built-in one. Named in a @generate(NAME) note; values it makes are not shrunk.

even :: (rng: *Rng) -> s64 { return rng_range(rng, -500, 500) * 2; }

doubles :: (n: s64) { expect_equal((n * 3) % 2, 0); } @test @property @generate(even)