Run GOTO Transcoder (ESBMC)

A bunch of LLM-generated contracts #831

Sign in to view logs

Triggered via pull request August 12, 2025 09:43

tautschnig

synchronize #451

vonaka:llm_contracts_fail

Status Failure

Total duration 5m 4s

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 1.