Run GOTO Transcoder (ESBMC)

LLM-generated contracts #1020

Sign in to view logs

Triggered via pull request October 8, 2025 15:51

feliperodri

synchronize #473

vonaka:llm_contracts_ty_invariants

Status Success

Total duration 16m 41s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder