Skip to content

Add safety preconditions to std/src/alloc.rs #1627

Add safety preconditions to std/src/alloc.rs

Add safety preconditions to std/src/alloc.rs #1627

Triggered via pull request April 18, 2025 18:39
Status Failure
Total duration 1h 44m 28s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kani.yml

on: pull_request
Matrix: check-kani-on-std
Matrix: Verify std library using autoharness
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 10 warnings
Verify std library using autoharness (ubuntu-latest)
Process completed with exit code 2.
Verify std library using autoharness (macos-latest)
Process completed with exit code 2.
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library using autoharness (macos-latest)
These files were overwritten during the `brew link` step:
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 1)
These files were overwritten during the `brew link` step:
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 2)
These files were overwritten during the `brew link` step:
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 3)
These files were overwritten during the `brew link` step:
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.3
Verify std library (partition 4)
These files were overwritten during the `brew link` step: