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

Hell yes you are spot on right there.

I've got into a habit of defining pre and post-call checks on just about everything. It's knocked down my regression and defect rate quite considerably. Assumptions are dangerous - so always check them.

Microsoft are actually leading this if you ask me with PEX:

Try it here: http://www.pexforfun.com/



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

Search: