Skip to content

Fix Unsound Unchecked Usage - #386

Open
florianhartung wants to merge 5 commits into
mainfrom
dev/safe-unchecked-usage
Open

Fix Unsound Unchecked Usage#386
florianhartung wants to merge 5 commits into
mainfrom
dev/safe-unchecked-usage

Conversation

@florianhartung

Copy link
Copy Markdown
Collaborator

Open Questions / TODOs

Benchmark Results

References

Checks

  • Using Nix
    • Ran nix fmt
    • Ran nix flake check '.?submodules=1'
  • Using Rust tooling
    • Ran cargo fmt
    • Ran cargo test
    • Ran cargo check
    • Ran cargo build
    • Ran cargo clippy --workspace
    • Ran cargo doc --document-private-items --workspace

Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
@florianhartung florianhartung self-assigned this Jul 27, 2026
@florianhartung
florianhartung force-pushed the dev/safe-unchecked-usage branch from 39bc364 to 4d7343d Compare July 27, 2026 15:09
@codecov

codecov Bot commented Jul 27, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 97.91667% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 83.66%. Comparing base (77495f3) to head (4d7343d).

@@            Coverage Diff             @@
##             main     #386      +/-   ##
==========================================
- Coverage   83.71%   83.66%   -0.06%     
==========================================
  Files          59       59              
  Lines       10600    10612      +12     
  Branches    10600    10612      +12     
==========================================
+ Hits         8874     8878       +4     
- Misses       1031     1039       +8     
  Partials      695      695              
Components Coverage Δ
interpreter 83.66% <97.91%> (-0.06%) ⬇️
checked ∅ <ø> (∅)
linker ∅ <ø> (∅)
interop ∅ <ø> (∅)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@florianhartung florianhartung changed the title Safe Unchecked Usage (Fixing Soundness Issues) Fix Unsound Unchecked Usage Jul 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant