@josevalim `satisfy` is common word for this. It is not supposed to fail the test in any way. It is just a constraint on the generator, when a constraint is not satisfied it should just run the generator again until it produces a satisfiable value.