Run GOTO Transcoder (ESBMC)

Update Kani Metrics #776

Sign in to view logs

Triggered via pull request August 4, 2025 06:53

tautschnig

reopened #442

update-kani-metrics

Status Failure

Total duration 19m 49s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder

Annotations

1 error

Verify contracts with goto-transcoder

Process completed with exit code 8.