Comment by fulafel

Would this type of thing be suited for program synthesis or property based testing?