Properties for list functions| fsharpforfunandprofit.com
Generators, shrinkers and more| fsharpforfunandprofit.com
Or, I want to use PBT, but I can never think of any properties to use| fsharpforfunandprofit.com
Alternative titles: Unit Tests are a Scam Test Features, Not Code Data Driven Integrated Tests| matklad.github.io
I’ve been working on a bunch of longform obligation pieces and while they’re a lot of fun, they’re also steadily driving me insane. So I took a day off to write about all of the kinds of automated testing I know about. I’m defining tests here to be “an independent verification program that, as part of verification, executes the code we want to verify.” This means types are not tests, as they don’t involve execution of the code, and contracts are not tests, because they’re not ...| Hillel Wayne