GitHub - nrc/libhoare: Design by contract style assertions for Rust - discu.eu

Reddit

Defensive programming? https://github.com/nrc/libhoare 28 comments 29/4/2018 rust

Linking pages

Rust verification tools (2020) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-verification-tools/ 18 comments
Rust Design-for-Testability: a survey – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-testability/ 3 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - nrc/libhoare: Design by contract style assertions for Rust

See how to search.

Submit link to: