Skip to content
Run GOTO Transcoder (ESBMC)

Add goto-transcoder.md into summary #8

Sign in to view logs

Add goto-transcoder.md into summary

Add goto-transcoder.md into summary #8

Triggered via pull request January 30, 2025 21:02
@rafaelsamenezesrafaelsamenezes
opened #243
rafaelsamenezes:patch-1
Status Success
Total duration 12m 44s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
12m 34s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in