Reid Draper, Sr Engineering Manager at Github
I find only difficult to use this style on a daily basis at work for some reasons: 1) It’s hard to find properties that should hold true that are not very complected and 2) the trusted implementation is often not there.
Maybe some utils functions to deal with dates, data transformations and things like that would be more appropriate. But still, I lack the trusted implementation for these, maybe writing a second version to the generator is good enough.
Test Check is a different way to thinking about testing
property-based testing is what test.check is using
concurrent programs are hard to test - because their execution is non-deterministic
thinking in properties
finding trusted implementation
we have to write generators