Run GOTO Transcoder (ESBMC)

Move std-analysis.sh script from Kani repository #89

Sign in to view logs

Triggered via pull request March 3, 2025 14:46

tautschnig

synchronize #261

tautschnig:move-metrics-script

Status Success

Total duration 15m 52s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder