2 ms·
They actually should. As such a rewrite went so well for sudo-rs.
by rvz 10mo ago
They actually should. As such a rewrite went so well for sudo-rs.
- 112233 10mo agoThe article mentions 100% code coverage with tests as one of requirements from their users, and having "safe languages" emit defensive asserts and checks when compiling correct code means 100% branch coverage is impossible. How do you propose to address it with rust?