Run GOTO Transcoder (ESBMC)

Add autoharness-analyzer CI job #418

Sign in to view logs

Triggered via pull request April 28, 2025 16:43

tautschnig

synchronize #344

tautschnig:autoharness-analyzer

Status Success

Total duration 19m 52s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder