Zachary Kessin

In erlang there is an explicit size parameter used in generators, and it starts small then ramps up, but you can also use it for recursive generators so that you...

sure I will try that later today

I don't think I ever did that test, and I am no longer working with that project.

You might want to have a way so that the thing making the next step can depend on what came before. If you have an event that returns a get...

@johnhughes would you like to comment on this?

I think we need to have some sort of model state to compare things to. The problem with something like List Msg -> Fuzzer Msg is that sometimes you want...

I should also say that this type of operation might be useful for things other that `update` functions, again testing something like `Dict` this way could be very useful

I know that the Erlang QuickCheck (From Quivik) has an option where you can give it a time to run vs a number of iterations. So you could say for...

How about the LGPL Or the MPL? both I think may make everyone happy What my issue is is that I would love to use Prope in say Erlog, but...

What would worry me is if someone includes proper into another open source project, and then I use that project in a closed source app. If I am using rebar...