Rust: More test cases for add, sub etc - #21191

Merged

geoffw0 merged 13 commits into

github:mainfrom

Jan 23, 2026

Commits on Jan 19, 2026

Commits on Jan 21, 2026

Rust: Test unpacking the Wrapping number.
geoffw0
committed
1d461ff

Commits on Jan 22, 2026

Rust: Expand the Wrapping test some more.
geoffw0
committed
f8d0a0d
Rust: Fix an issue with identifying sources and sinks in the test.
geoffw0
committed
e8ef58d
Rust: Add model variants for core::ops:arith on Wrapping.
geoffw0
committed
9d64550
Rust: Add model variants for core::ops::bit on Wrapping.
geoffw0
committed
fa9677d
Rust: Clean up / fix some existing models.
geoffw0
committed
3d6765b
Rust: Update other affected tests.
geoffw0
committed
67b52e2
Rust: More affected tests.
geoffw0
committed
b8581e8
Merge remote-tracking branch 'upstream/main' into addsub
geoffw0
committed
f484d95