Since we can't really formally prove most code, I think property based testing s... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

roeles 6 months ago | parent | context | favorite | on: Your job is to deliver code you have proven to wor...

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://qqrl.tk/item?id=45818562

xendo 6 months ago [–]

We can't really property test most code. So it comes down, as with everything, to good judgement and experience.

epgui 6 months ago | [–]

You can property test most code.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact