Proper (property-based testing tool for erlang) is a quickcheck-inspired open-source property-based testing tool for erlang.

this package includes erlang-proper headers which are necessary to build erlang applications which use erlang-proper.