Juan Facorro 87bc9d436f Introduce optional weight function for commands and other improvements (#1618) ...

* Generator erlang-proper

Used to generate PropEr generators for property-based testing

* Rearrange *_statem.erl functions and remove *_statem.hrl

* Optional weight function

* Optional argument to override generated values

* Export function with arity 1

* Move syntactic sugar to header file

* Only provide body when its allowed

* The weight function should not depend on the state

2018-12-10 11:41:12 +08:00

..

VERSION

Introduce optional weight function for commands and other improvements (#1618)

2018-12-10 11:41:12 +08:00