Hacker News new | past | comments | ask | show | jobs | submit login

It is not necessarily about runtime tests. Often assertions are only used for debug builds. Java requires an extra flag to enable assert statements. Alternatively, assertions could be invariants or pre/post conditions for your formal proofs of correctness.

I'm too lazy to check the actual paper, if they clarify their understanding. ;)




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

Search: