10 ms·
Since we can't really formally prove most code, I think property based testing such as with hypothesis[1] would make sense. I have not used it yet, but am about
by roeles 9mo ago
Since we can't really formally prove most code, I think property based testing such as with hypothesis[1] would make sense.
I have not used it yet, but am about to for stuff that really needs to work.
[1] https://news.ycombinator.com/item?id=45818562 https://news.ycombinator.com/item?id=45818562