VeriFast

Update README.md now that Challenge 1 is resolved #925

Sign in to view logs

Triggered via pull request September 9, 2025 18:58

tautschnig

opened #486

tautschnig:update-readme-challenge-1

Status Success

Total duration 23s

Artifacts –

verifast.yml

on: pull_request

Verify std library