Kani

Add contracts for NonZero::from_mut_unchecked #1962

Sign in to view logs

Triggered via pull request July 10, 2025 16:33

tautschnig

synchronize #345

tautschnig:from_mut_unchecked

Status Success

Total duration 1h 14m 54s

Artifacts 8

kani.yml

on: pull_request

Matrix: Verify std library using autoharness

Matrix: Kani Metrics

Kani Autoharness Analyzer

Matrix: check-kani-on-std

Matrix: Build JSON from logs

Annotations

12 warnings

Verify std library (partition 2)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Verify std library (partition 2)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Verify std library (partition 3)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Verify std library (partition 3)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Verify std library (partition 4)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Verify std library (partition 4)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Kani Metrics (macos-latest)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Kani Metrics (macos-latest)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Verify std library (partition 1)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Verify std library (partition 1)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Verify std library using autoharness (macos-latest)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5

Verify std library using autoharness (macos-latest)

python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Artifacts

Produced during runtime

Name	Size	Digest
macos-latest-autoharness-verification.log.gz Expired	348 KB	`sha256:7a7e6350910971a5f8ef06cb61c2d81fd0e9eef5e4a377f375532c67983242c5`
macos-latest-kani-list.json Expired	62.8 KB	`sha256:13d99ff3e58c7b8a4121602cdf835c4e9cf5197a633049929600fe7b0a1102e3`
macos-latest-results.json Expired	353 KB	`sha256:92cc41679c19816db9d74c3200737d3c8a2dddd134287cf1c76bf7af25bd1f0d`
macos-latest-results.tar.gz Expired	833 KB	`sha256:44493ad23ef1f1eae028eb53d50f99048afc7a7d8f69ed299bf186672596dba2`
ubuntu-latest-autoharness-verification.log.gz Expired	367 KB	`sha256:2c9ad0fb44d2d70cbdc9340f217cd5853fdc4863b788495ee3eed651b22b1df5`
ubuntu-latest-kani-list.json Expired	70 KB	`sha256:805ff37c76a02ed83ee0851a083417efcd2c549ad38ca8971eeb12291b5a5487`
ubuntu-latest-results.json Expired	377 KB	`sha256:e70977783f56222a1c4dd737e5111a07449aff4eaa137caf391ffe5e2400a969`
ubuntu-latest-results.tar.gz Expired	896 KB	`sha256:247b0c5861e229213593caa7caf73d38643430c80bb9694858cc6f14d74fd559`