3 ms·
In the meantime, Rust's support for automated tests is great.
by hashmal 9y ago
In the meantime, Rust's support for automated tests is great.
- catnaroek 9y agoAlas, tests aren't proofs.
- burntsushi 9y agoYet, tests are still useful!
- catnaroek 9y agoNot if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.