I’m currently working on inserting StreamData into parts of our testing and using it to generate example data for dev work. The reason I chose StreamData was for it’s possible inclusion in Elixir and because I had to choose one to try out. If it felt too cumbersome I’d just use another one.
I prefer the propEr overall. I’m not a fan of quickcheck’s license (at all). StreamData I’ve used recently even though it is not as powerful as proper because I’ve been expecting it to be added to Elixir itself (it really needs to be fleshed out a bit more first though).
I’ve used Quixir, QC for Elixir, PropCheck and StreamData over the past year or so. I’ve gone for StreamData recently because it’s up for inclusion with Elixir (I hope it’ll be easier to do and more common in the future). I’m happy with the API.
I’ve used StreamData and proper. Recently I’ve been using Proper more because it’s more powerful then StreamData in StreamData’s current state. IMO the true power of property testing lies in model checking which is well supported in Proper. There’s discussions about adding a model checking api to StreamData though. I think that would be a huge win for the community.
That sounds intriguing, do you have more information about it? I’m having trouble finding out more about this model checking from Proper’s homepage.
Actually I just found the issue you raised on the stream_data github, following along with the conversation, it’s very interesting. Looking forward to playing with some sort of model testing in the future.