Doc Eng Logo
University of Nottingham CS
Home People Research


InnerQuickCheck is a small addition to the standard haskell QuickCheck module which allows for QuickCheck properties which use QuickCheck recursively to generate test data that satisfies another QuickCheck property.

The code can be downloaded from here.

Documentation and examples to follow...