[erlang-questions] QuickCheck module for testing the new string module

[Michael Truog]

It would help if you switched to using PropEr instead of QuickCheck, since QuickCheck for Erlang requires a license.  Using PropEr instead would be more similar to using QuickCheck in Haskell due to its availability.  That should also allow tests like these to be included easily in Erlang/OTP source and reused when testing the Erlang/OTP source code.

Best Regards,
Michael

On 04/06/2017 06:26 AM, Björn Gustavsson wrote:
> I have written a QuickCheck module to test Dan's new string module
> (https://github.com/erlang/otp/pull/1330). It found some bugs.
>
> Here is the gist for anyone interested:
>
> https://gist.github.com/bjorng/03a869392d5a969ebf2c40044b664190
>
> Comments are welcome. This is my first major use of QuickCheck. I am
> interested in how I could improve the QC specifications and
> generators.
>
> /Björn