Rust chapter

[GrosQuildu]

Covers:

• unit testing: improvements like sanitizers, mirim
• property testing
• gathering coverage
• necessist
• clippy and dylint - TODO: need expansion
• model checking: Prusti and Kani tools, list of other tooling
• TODO: add concurrency model checking (shuttle and loom)

PR adds static files than are linked from unit testing page. Users can click a button to be redirected to the static content.

[github-actions]

PR Preview Action v1.4.8
🚀 Deployed preview to https://trailofbits.github.io/testing-handbook-preview/pr-preview/pr-2/
on branch gh-pages at 2024-11-25 12:08 UTC

[GrosQuildu]

Copied data to the doc: https://docs.google.com/document/d/1NgO-tmgrnvV4CX5RnewwWiAduVUyMg3bEOfDMRu_8HM/edit
Continuing work there