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

7 lines
152 B
Erlang

{erl_opts, [debug_info, warnings_as_errors]}.
{deps, [{jsx, "2.9.0"}, {proper, "1.3.0"}]}.
{shell, [{apps, [petstore]}]}.
{plugins, [rebar3_proper]}.