Alas, tests aren't proofs. | Hacker News

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

login

catnaroek on Sept 1, 2017 | parent | context | favorite | on: Announcing Rust 1.20

Alas, tests aren't proofs.

burntsushi on Sept 1, 2017 [–]

Yet, tests are still useful!

catnaroek on Sept 1, 2017 | [–]

Not if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact