Loop invariants and harnesses for memchr functions #2216
tautschnigkani.yml
on: pull_request
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
43m 29s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
8 errors, 12 warnings, and 6 notices
|
Verify std library (partition 1)
Process completed with exit code 1.
|
|
Verify std library (partition 1)
Process completed with exit code 1.
|
|
Verify std library (partition 2)
Process completed with exit code 1.
|
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1357k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library using autoharness (ubuntu-latest)
Process completed with exit code 1.
|
|
Verify std library using autoharness (macos-latest)
Process completed with exit code 1.
|
|
Verify std library (partition 2)
The operation was canceled.
|
|
Verify std library (partition 2)
The job has exceeded the maximum execution time of 6h0m0s
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 3)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 1)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 4)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 2)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 3)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 1)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 4)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library using autoharness (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Kani Metrics (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
|
Verify std library (partition 2)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:483f0607eacc7bf48bf1d4e4f4c0d46be64fdd0e45bd5d27ab81f673e133986d
|
|
|
macos-latest-results.tar.gz
Expired
|
832 KB |
sha256:239099843737a139265b8900cb0228f87141278ceb2e5bc043be45f59f815d36
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:0a04b3e6e1e62d769deb3784f7862f9f115b6650533921e0111095954b6808a0
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:018474e3a2638b69de61d5f7b3ea04bc71c82757fb1aedb8ffb877c049505610
|
|