Rust: Model std::net and tokio `fs`, `io`, `net` - #19446

Merged

geoffw0 merged 19 commits into

github:mainfrom

May 21, 2025

Commits on Apr 24, 2025

Commits on May 1, 2025

Rust: Add further source tests for tcp streams.
geoffw0
committed
950812b
Rust: Add some alternative sinks.
geoffw0
committed
b2339ef
Rust: Add source tests for tokio (fs).
geoffw0
committed
627496d
Rust: Add models for tokio (io).
geoffw0
committed
7439b0c
Rust: Add models for tokio (fs).
geoffw0
committed
f4ae211
Rust: Fix some shortcomings in our models of Reqwest.
geoffw0
committed
3104dba
Rust: Add a missing model for std::io.
geoffw0
committed
038b8b5
Rust: Model std::net and tokio::net.
geoffw0
committed
e263116
Rust: Remove stray comment, accept changes to another test.
geoffw0
committed
3789c46

Commits on May 19, 2025

Merge branch 'main' into tokio
geoffw0
committed
b58b250
Rust: Accept consistency check failures.
geoffw0
committed
d20a602

Commits on May 20, 2025

Rust: Uncomment calls to test functions.
geoffw0
committed
204260e

Commits on May 21, 2025

Merge branch 'main' into tokio
geoffw0
committed
ea9531f
Rust: Accept test changes after merge with main.
geoffw0
committed
053da55