Skip to content
Proof PR

Add sorted_ipc_queues invariant #3098

Sign in to view logs

Add sorted_ipc_queues invariant

Add sorted_ipc_queues invariant #3098

Triggered via pull request December 10, 2024 10:20
@michaelmcinerneymichaelmcinerney
opened #836
Status Cancelled
Total duration 24m 39s
Artifacts –

proof.yml

on: pull_request_target
Matrix: MCS
Fit to window
Zoom out
Zoom in

Annotations

4 errors
MCS (ARM)
The run was canceled by @michaelmcinerney.
MCS (ARM)
The operation was canceled.
MCS (RISCV64)
The run was canceled by @michaelmcinerney.
MCS (RISCV64)
The operation was canceled.