YellowGrass

SSH-24: Support constructors as higher order strategies


See strc/spec/test1/test11.str

Submitted on 18 June 2004 at 09:24

Log in to post comments