Run GOTO Transcoder (ESBMC)

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

Sign in to view logs

Triggered via pull request March 3, 2025 12:49

tautschnig

opened #261

tautschnig:move-metrics-script

Status Success

Total duration 14m 4s

Artifacts –

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder