Skip to content
Run GOTO Transcoder (ESBMC)

Verify safety of str iter functions (Challenge 22) #1123

Sign in to view logs

Verify safety of str iter functions (Challenge 22)

Verify safety of str iter functions (Challenge 22) #1123

Triggered via pull request February 11, 2026 01:16
@jrey8343jrey8343
synchronize #539
jrey8343:challenge-22-str-iter
Status Success
Total duration 15m 57s
Artifacts –

goto-transcoder.yml

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