Add UB checks for ptr_offset_from* intrinsics · model-checking/kani@67ebc69

Triggered via pull request January 4, 2025 04:58

celinval

synchronize #3757

Status Failure

Total duration 4m 36s

Artifacts –

verify-std-check.yml

on: pull_request

Matrix: verify-std

4 errors and 2 warnings

Process completed with exit code 1.

Process completed with exit code 1.

The job was canceled because "macos-14" failed.

The operation was canceled.

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1