Skip to content
Run GOTO Transcoder (ESBMC)

Merge branch 'main' into use-quantifiers #117

Sign in to view logs

Merge branch 'main' into use-quantifiers

Merge branch 'main' into use-quantifiers #117

Triggered via push October 8, 2025 15:48
@feliperodrifeliperodri
pushed 79fbe49
use-quantifiers
Status Success
Total duration 16m 30s
Artifacts –

goto-transcoder.yml

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