Skip to content
VeriFast (negative)

Verify safety of Vec functions (Challenge 23) #1059

Sign in to view logs

Verify safety of Vec functions (Challenge 23)

Verify safety of Vec functions (Challenge 23) #1059

Triggered via pull request February 11, 2026 01:15
@jrey8343jrey8343
synchronize #546
jrey8343:challenge-23-vec-pt1
Status Success
Total duration 50s
Artifacts –

verifast-negative.yml

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