[ruchirpuri]

This is precisely how we do this in many other domains of automation. Specify a test set, and let the generator meet that test spec.