Skip to content
VeriFast

Verify memory safety of String functions (Challenge 10) #1071

Sign in to view logs

Verify memory safety of String functions (Challenge 10)

Verify memory safety of String functions (Challenge 10) #1071

Triggered via pull request February 11, 2026 01:14
@jrey8343jrey8343
synchronize #541
jrey8343:challenge-10-string
Status Success
Total duration 43s
Artifacts –

verifast.yml

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