On 03/01/2014 05:18 AM, Anthony Ramine wrote: > So many bugs I could find and play with, had I a quickcheck license… > You could switch to Haskell where quickcheck is free, or just use proper to verify the compiler as part of the Erlang/OTP tests.