PropCheck is so fast that I had to print out the generator values to ensure it's defaulting to 100 iterations. Awesome stuff! #myelixirstatus
Have you tried stream_data as well and if so, was PropCheck significantly faster than stream_data?
-
-
I haven't tried stream_data but it's on my to-do list.
-
awesome! Let me know if I can help. I am really curious about how performances compare between the two but also too lazy to check myself

-
Anecdotally my experience has been that propcheck is faster at finding a minimal counter example then stream_data. It also tends to find “smaller” counter examples with less tuning.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.