Skip to content
VeriFast (negative)

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

Sign in to view logs

Verify memory safety of String functions (Challenge 10)

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

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

verifast-negative.yml

on: pull_request
Verify std library
31s
Verify std library
Fit to window
Zoom out
Zoom in