alicemaz / test-generative Goto Github PK

It would be useful for test-generative to adopt SRFI 158's notion of generators. These are thunks (like the generators of test-generative) that can "run out" by returning EOF objects. With these generator semantics, a test-generative form exits when one of its generators is exhausted or when current-test-generative-iterations tests have been run, whichever happens first.

An important benefit of this change is that it allows you you to exit a test body before invalid seeds are generated. At the moment, this isn't possible without continuation tricks. It also gives us access to the tools provided by the generator libraries. In particular, it becomes easy to convert lists, vectors, etc. to EOF-terminated generators.