Skip to content
VeriFast

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

Sign in to view logs

Verify safety of str iter functions (Challenge 22)

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

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

verifast.yml

on: pull_request
Verify std library
1m 42s
Verify std library
Notify @btj
0s
Notify @btj
Fit to window
Zoom out
Zoom in