HansN/otp — pull request #1 by ThomasArts (2014-09-11 18:30:53+00:00)
Title: Test eqc ci

I made a few change to the QuickCheck properties. This should allow it to run on QuickCheck CI.