Code

Update Kani Metrics#322

Code

Merged

carolynzech merged 1 commit intomainmodel-checking/verify-rust-std:mainfrom

update-kani-metricsmodel-checking/verify-rust-std:update-kani-metricsCopy head branch name to clipboard

Apr 14, 2025

Commits

Commits on Apr 13, 2025

• Update Kani metrics

  

  github-merge-queue[bot]

  authored and

  github-actions[bot]

  committed
  68554bf

  Copy full SHA for 68554bf