Skip to content
VeriFast

update write functions contracts and harnesses #22

Sign in to view logs

update write functions contracts and harnesses

update write functions contracts and harnesses #22

Triggered via push March 4, 2025 00:53
@thanhnguyen-awsthanhnguyen-aws
pushed aa5dd30
refinechallenges
Status Failure
Total duration 30s
Artifacts –

verifast.yml

on: push
Verify std library
21s
Verify std library
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify std library
Process completed with exit code 1.