Section: New Software and Platforms

Luck

Participants : Leonidas Lampropoulos [University of Pennsylvania] , Diane Gallois-Wong [ENS and Inria Paris] , Catalin Hritcu, John Hughes [Chalmers University] , Benjamin Pierce [University of Pennsylvania] , Li-Yao Xia [ENS and Inria Paris] .

Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a domain-specific language in which generators are conveniently expressed by decorating predicates with lightweight annotations to control both the distribution of generated values and the amount of constraint solving that happens before each variable is instantiated. This language, called Luck, makes generators easier to write, read, and maintain. https://github.com/QuickChick/Luck