Skip to content
Publish CBMC documentation

CONTRACTS: ignore __CPROVER_dead_object assignments #5582

Sign in to view logs

CONTRACTS: ignore __CPROVER_dead_object assignments

CONTRACTS: ignore __CPROVER_dead_object assignments #5582

Re-run triggered January 3, 2025 18:02
@remi-delmas-3000remi-delmas-3000
#8554
remi-delmas-3000:contracts-MIR-storage-live-dead
Status Failure
Total duration 6m 10s
Artifacts –

publish.yaml

on: pull_request
publish
5m 57s
publish
Fit to window
Zoom out
Zoom in

Annotations

1 error
publish
Process completed with exit code 2.