Skip to content
Run GOTO Transcoder (ESBMC)

Remove spurious comments about the need for quantifiers #106

Sign in to view logs

Remove spurious comments about the need for quantifiers

Remove spurious comments about the need for quantifiers #106

Triggered via push August 12, 2025 13:59
@tautschnigtautschnig
pushed 99ea78b
use-quantifiers
Status Success
Total duration 18m 49s
Artifacts –

goto-transcoder.yml

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