VeriFast

Add challenge 23 24 for Vec #81

Sign in to view logs

Triggered via pull request March 7, 2025 16:44

thanhnguyen-aws

opened #267

thanhnguyen-aws:vecchallenge

Status Failure

Total duration 29s

Artifacts –

verifast.yml

on: pull_request

Verify std library

Annotations

1 error

Verify std library

Process completed with exit code 1.