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

Krzysztof Jurewicz <>
Thu Apr 6 20:34:58 CEST 2017


Michael Truog writes:

> 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.

Unfortunately, PropEr is licensed under GNU GPL 3.0, which is not compatible with Apache License 2.0. Probably this will not change anytime soon. See this issue for further reference: https://github.com/manopapad/proper/issues/29

triq may be a better solution, as it is licensed under Apache License 2.0. Here is the most active fork: https://github.com/triqng/triq


More information about the erlang-questions mailing list