miniblog.

Wilfred Hughes

Sep 5, 2020 at 05:59

Implementing a formal verification tool for Rust, supporting the same API as property testing libraries! https://alastairreid.github.io/why-not-both/ Requires a remarkable amount of glue code, so this doesn't feel like a mature domain yet.

Rust testing or verifying: Why not both?

Dijkstra famously dissed testing by saying “Program testing can be used to show the presence of bugs, but never to show their absence!” As if you should choose one over the other. I don’t see them as opposites but as complementary techniques that should both be used to improve the quality of your code.