Testing QuickCheck CI