Chronicles


Using QuickCheck

Quickcheck is a framework to generate arbitrary input to test properties.