Skip to content
Run GOTO Transcoder (ESBMC)

Move std-analysis.sh script from Kani repository (#261) #105

Sign in to view logs

Move std-analysis.sh script from Kani repository (#261)

Move std-analysis.sh script from Kani repository (#261) #105

Triggered via push March 4, 2025 11:37
@github-merge-queuegithub-merge-queue[bot]
pushed 214f966
main
Status Success
Total duration 19m 12s
Artifacts –

goto-transcoder.yml

on: push
Verify contracts with goto-transcoder
19m 2s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in